wip
define Add._eval_is_zero when Add is noncommutative