New Conj* and Disj* tests found issue in DisjSubsetAtom
Added more tests, uncovered silly typo bug in SimeSubsetConj.
Added TopSubset* diagram metrics