IPA sem equaality: new test files added.
IPA SEM equality: debugging macros introduced.