Test suite for IPA-sem-equality repaired.