IPA sem equality: Asserts and debugging info added.