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