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