IPA sem equality: test script added. Decls handled.
IPA sem equality: condition fixed. Tests fixed.