method vstmt s =
    match s.skind with
      Instr _ -> begin
          SkipChildren
      end
    | _ -> DoChildren