merge Mul._eval_is_nonzero and Mul._eval_is_zero