Predicate AV Rule 71.1::callFromNonVirtual

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