IPA sem equality: debug macro introduced.