IPA sem equality: pass compilation fixed.
IPA sem equality: stats fixed.