Fix bug 537 test 2, which checks to make sure that we fold A+(B-A) -> B for