method vinst = function
    | Call _ -> self#call (); DoChildren
    | _ -> DoChildren