IPA sem equality: TODOs removed.