IPA sem equality: algorithm speeded up.