Predicate UseBraces::suspectIndentation

The statement body is an unbraced trailing body of a control structure and succ is the next statement in the surrounding Block (or SwitchStmt). The indentation of statement succ is suspect because it is indented the same way as body and thus visually suggests to be part of the same syntactic scope as body.

Example situations:

if (cond) body; succ;

if (cond)
  body;
  succ;
predicate suspectIndentation(Stmt ctrl, Stmt body, Stmt succ)