let is_call_to_f stmt f_varinfo = match stmt.skind with | Instr (Call (_, {enode = Lval (Var v, NoOffset)}, _, _)) -> v.vid = f_varinfo.vid | _ -> false