Fix PR14361: wrong simplification of A+B==B+A. You may think that the old logic