IPA sem equality: memory leaks removed.
IPA sem equality: memory released correctly.

New test introduced.