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