Predicate EmptyBlock::conditionalWithEmptyBlock

predicate conditionalWithEmptyBlock(BlockStmt child)