method vinst = function 
    | Call (_ ,{enode =Lval(Var f,NoOffset)} , el,_) as e->
        debug "[Calls_collection] call %a" !Ast_printer.d_instr e;
        collect_calls f el ; SkipChildren
    | _ -> DoChildren