Predicate thisCall

predicate thisCall(FunctionCall c)