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