IPA sem equality: ERROR_MARK handled correctly.