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