simplify(a - a) is const 0: True  rule: x+(-x) (int)
