1 a + b where (kind(a) == opIntConst) && (kind(b) == opIntConst) && (c == plus(a, b)) becomes c
2 a - b where (kind(a) == opIntConst) && (kind(b) == opIntConst) && (c == plus(a, neg(b))) becomes c
3 (-a) where (kind(a) == opIntConst) && (b == neg(a)) becomes b