method vstmt s =
current_stmt <- Kstmt s;
match s.skind with
UnspecifiedSequence seq ->
List.iter
(fun (stmt,_,_,_) ->
ignore(visitCilStmt (self:>cilVisitor) stmt))
seq;
SkipChildren
| _ -> super#vstmt s