Add some transforms of the kind X-Y>X -> 0>Y which are valid when there is no