Member predicate MRO::ClassList::contains

Use negative formulation for efficiency

predicate contains(ClassObject cls)