Predicate ExecUsed::exec_function_call

predicate exec_function_call(Call c)