Predicate ExprHasNoEffect::accessInInitOfForStmt

predicate accessInInitOfForStmt(Expr e)