method vinst i =
    begin match i with
    | Call(_, e, _, _) ->
        calls <- calls + 1;
        (match e.enode with
         | Lval(Var v, NoOffset->
             let next tbl =
               VarinfoHashtbl.replace tbl v (succ (VarinfoHashtbl.find tbl v))
             in begin
               try next functions_with_source
               with Not_found ->
                 try next functions_no_source
                 with Not_found ->
                   Metrics_parameters.fatal "Got no source for %s" v.vname
             end
         | _ -> ())
    | Set _ -> assigns <- succ assigns
    | _ -> ()
    end;
    DoChildren