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