Predicate UseBraces::unbracedTrailingBody

A control structure for which the trailing body (the syntactically last part) is not a Block. This is either an IfStmt or a LoopStmt, but not a DoStmt, since do-while statements don’t have a trailing body.

predicate unbracedTrailingBody(Stmt ctrlStructure, Stmt trailingBody)