Implement dynamic function checks.

dart/sdk/lib/_internal/compiler/implementation/ssa/tracer.dart

Index: dart/sdk/lib/_internal/compiler/implementation/ssa/tracer.dart
diff --git a/dart/sdk/lib/_internal/compiler/implementation/ssa/tracer.dart b/dart/sdk/lib/_internal/compiler/implementation/ssa/tracer.dart
index b56cd35d1a6465429907aea66e8e613ce504dd0b..022e94d09fb196a760ab171667f63d835a48c677 100644
--- a/dart/sdk/lib/_internal/compiler/implementation/ssa/tracer.dart
+++ b/dart/sdk/lib/_internal/compiler/implementation/ssa/tracer.dart
@@ -521,4 +521,24 @@ class HInstructionStringifier implements HVisitor<String> {
   String visitRangeConversion(HRangeConversion node) {
     return "RangeConversion: ${node.checkedInput}";
   }
+
+  String visitReadTypeVariable(HReadTypeVariable node) {
+    return "ReadTypeVariable: ${node.dartType} ${node.hasReceiver}";
+  }
+
+  String visitFunctionType(HFunctionType node) {
+    return "FunctionType: ${node.dartType}";
+  }
+
+  String visitVoidType(HVoidType node) {
+    return "VoidType";
+  }
+
+  String visitInterfaceType(HInterfaceType node) {
+    return "InterfaceType: ${node.dartType}";
+  }
+
+  String visitDynamicType(HDynamicType node) {
+    return "DynamicType";
+  }
 }