Predicate EmptyBlock::blockParent

Empty blocks or empty statements should not occur as immediate children of if-statements or loops. Empty blocks should not occur within other blocks.

predicate blockParent(Stmt empty, string msg)