Member predicate Class::Class::derivesFrom

Holds if this class derives directly from that.

predicate derivesFrom(Class that)