IPA sem equality: local redirections fixed.