Prepare to have more than one universe.

dart/lib/compiler/implementation/ssa/optimize.dart

 // Copyright (c) 2011, 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.
 
 interface OptimizationPhase {
   String get name();
   void visitGraph(HGraph graph);
 }
 
 class SsaOptimizerTask extends CompilerTask {
@@ skipping 524 matching lines @@
       }
     } else if (expressionType.isArray()) {
       if (element === compiler.listClass
           || Elements.isListSupertype(element, compiler)) {
         return graph.addConstantBool(true);
       } else {
         return graph.addConstantBool(false);
       }
     // TODO(karlklose): remove the hasTypeArguments check.
     } else if (expressionType.isUseful()
-               && !compiler.universe.rti.hasTypeArguments(type)) {
+               && !compiler.codegenWorld.rti.hasTypeArguments(type)) {
       Type receiverType = expressionType.computeType(compiler);
       if (receiverType !== null) {
         if (compiler.types.isSubtype(receiverType, type)) {
           return graph.addConstantBool(true);
         } else if (expressionType.isExact()) {
           return graph.addConstantBool(false);
         }
       }
     }
     return node;
@@ skipping 561 matching lines @@
         // the if block terminates. So any use of the instruction
         // after the join block should be changed to the new
         // instruction.
         changeUsesDominatedBy(ifUser.joinBlock, input, convertedType);
       }
       // TODO(ngeoffray): Also change uses for the then block on a HType
       // that knows it is not of a specific Type.
     }
   }
 }