Predicate UseBraces::abortsControlFlow

A statement that aborts the regular control-flow.

predicate abortsControlFlow(Stmt s)