method vstmt_aux s =
match s.skind with
| UnspecifiedSequence seq ->
List.iter
(fun (stmt,_,_,_,_) ->
ignore (visitFramacStmt (self:>frama_c_visitor) stmt))
seq;
Cil.SkipChildren (* do not visit the additional lvals *)
| _ -> super#vstmt_aux s