Integrity checker for CPS and Tree IR.

pkg/compiler/lib/src/dart_backend/dart_backend.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library dart_backend;
 
 import 'dart:async' show Future;
 import 'dart:math' show max;
 import '../elements/elements.dart';
 import '../dart2jslib.dart';
 import '../library_loader.dart' show LoadedLibraries;
 import '../dart_types.dart';
 import '../tree/tree.dart';
 import '../cps_ir/cps_ir_nodes.dart' as cps_ir;
 import '../constants/expressions.dart';
 import '../cps_ir/optimizers.dart';
+import '../cps_ir/optimizers.dart' as cps_opt;
 import '../tree_ir/tree_ir_builder.dart' as tree_builder;
 import '../tree_ir/tree_ir_nodes.dart' as tree_ir;
 import '../util/util.dart';
 import '../mirror_renamer/mirror_renamer.dart';
 import '../tree_ir/optimization/optimization.dart'
     show LogicalRewriter, LoopRewriter, CopyPropagator, StatementRewriter;
+import '../tree_ir/optimization/optimization.dart' as tree_opt;
+import '../tree_ir/tree_ir_integrity.dart';
+import '../cps_ir/cps_ir_integrity.dart';
 import 'backend_ast_emitter.dart' as backend_ast_emitter;
 import 'backend_ast_nodes.dart' as backend_ast;
 import 'backend_ast_to_frontend_ast.dart' as backend2frontend;
 import '../../compiler.dart' show CompilerOutputProvider;
 
 import '../scanner/scannerlib.dart' show StringToken,
                                          Keyword,
                                          OPEN_PAREN_INFO,
                                          CLOSE_PAREN_INFO,
                                          SEMICOLON_INFO,
                                          IDENTIFIER_INFO;
 
 part 'backend.dart';
 part 'renamer.dart';
 part 'placeholder_collector.dart';
 part 'outputter.dart';