enhance x-(-A) -> x+A to preserve NUW/NSW.