We now restart the optimization as soon as we changed an operand or the
relation. This makes the whole optimization less error-prone.

This fixes opt/fehler309.c.