method vstmt s =
    match s.skind with
    | UnspecifiedSequence seq ->
        List.iter
          (fun (stmt,_,_,_) ->
            ignore (visitCilStmt (self:>cilVisitor) stmt))
          seq;
        SkipChildren (* do not visit the additional lvals *)
    | If (_cond, _th, _el, _) ->
        DoChildren (* for _cond and for the statements in _th, _el *)
    | Loop _ | Block _ ->
        DoChildren (* for the statements *)
    | Instr _ ->
        DoChildren (* for Calls *)
    | Return _ | Goto _ | Break _ | Continue _ ->
        SkipChildren
    | Switch _ | TryExcept _ | TryFinally _ -> assert false