Predicate AV Rule 71.1::indirectlyCallsVirtualFunction

predicate indirectlyCallsVirtualFunction(MemberFunction caller, Function target, Class c)