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