Add -(a-b) -> b-a simplification