Predicate ConstantExpAppearsNonConstant::eval

int eval(Expr e)