IPA sem equality: PHI node comparison fixed.

More sensitive function merging approach introduced.