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