Member predicate Class::Class::derivesFrom

Holds if this class/struct derives directly from that.

predicate derivesFrom(Class that)