Member predicate MRO::ClassList::doesNotContain

Use negative formulation to avoid negative recursion

predicate doesNotContain(ClassObject cls)