indexing of properties: fixed another bug when implied compositions were
not eliminated; updated the unit test
introduced general methods for printing diffs for collections and
multimap; use that to print diffs for property saturations