Reports labeled statements that can complicate refactorings and control flow of the method.
Example:
label: while (true) { // code }