method vinst = function 
    | Call (_ ,{enode =Lval(Var _,NoOffset)} , _,_) -> SkipChildren
    | Set (lv,_,_) ->
        if reference_parameter_usage_lval lv then SkipChildren else DoChildren 
    | _ -> DoChildren