Predicate AV Rule 71.1::virtualThisCall

predicate virtualThisCall(FunctionCall c, Function overridingFunction)