IPA sem equality: exception handling added.