IPA sem equality: checking enabled by default.

Checking functions renamed.