Predicate FutileConditional::emptyStmt

predicate emptyStmt(Stmt s)