IPA sem equality: fixed a bug.

IPA reorder: correct conditions introduced.