IPA sem equality: serious bug fixed.
IPA sem equality: dump of equal functions introduced.