IPA sem equality: constructor arguments correctly handled.