Cancellation inference implemented (may replace ArithElim.factor)