IPA sem equality: structure names fixed.