IPA sem equality: more verbose debugging.