Predicate AV Rule 71.1::thisCall

predicate thisCall(FunctionCall c)