Predicate callFromNonVirtual

predicate callFromNonVirtual(MemberFunction source, Class c, MemberFunction targ)