IPA sem equality: pass cleaned up.