Member predicate MRO::ClassList::declares

predicate declares(string name)