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