dart2js cps: Add path-sensitive types by inserting refinement IR nodes.

pkg/compiler/lib/src/cps_ir/cps_ir_tracer.dart

 // Copyright (c) 2014, 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 dart2js.ir_tracer;
 
 import 'dart:async' show EventSink;
 import 'cps_ir_nodes.dart' as cps_ir hide Function;
 import '../tracer.dart';
 
@@ skipping 375 matching lines @@
     String value = formatReference(node.value);
     return 'SetIndex $object $index $value';
   }
 
   @override
   visitAwait(cps_ir.Await node) {
     String value = formatReference(node.input);
     String continuation = formatReference(node.continuation);
     return 'Await $value $continuation';
   }
+
+  @override
+  visitRefinement(cps_ir.Refinement node) {
+    String value = formatReference(node.value);
+    return 'Refinement $value ${node.type}';
+  }
 }
 
 /**
  * Invents (and remembers) names for Continuations, Parameters, etc.
  * The names must match the conventions used by IR Hydra, e.g.
  * Continuations and Functions must have names of form B### since they
  * are visualized as basic blocks.
  */
 class Names {
   final Map<Object, String> names = {};
@@ skipping 256 matching lines @@
 
   @override
   visitForeignCode(cps_ir.ForeignCode node) {
     addEdgeToContinuation(node.continuation);
   }
 
   @override
   visitAwait(cps_ir.Await node) {
     unexpectedNode(node);
   }
+
+  visitRefinement(cps_ir.Refinement node) {
+    unexpectedNode(node);
+  }
 }