simplify Mul._eval_is_positive and drop use of mutable args