Revert "Do TypePropagation again after inlining"

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

Index: pkg/compiler/lib/src/cps_ir/type_propagation.dart
diff --git a/pkg/compiler/lib/src/cps_ir/type_propagation.dart b/pkg/compiler/lib/src/cps_ir/type_propagation.dart
index 4f03ce2f94c6fea0a675d1084c75b0aa2b65106c..aa26e319231398246ef0cd811da339ff54222879 100644
--- a/pkg/compiler/lib/src/cps_ir/type_propagation.dart
+++ b/pkg/compiler/lib/src/cps_ir/type_propagation.dart
@@ -714,10 +714,8 @@ class TypePropagator extends Pass {
   final CpsFunctionCompiler _functionCompiler;
   final Map<Variable, ConstantValue> _values= <Variable, ConstantValue>{};
   final ConstantPropagationLattice _lattice;
-  final bool recomputeAll;
 
-  TypePropagator(CpsFunctionCompiler functionCompiler,
-      {this.recomputeAll: false})
+  TypePropagator(CpsFunctionCompiler functionCompiler)
       : _functionCompiler = functionCompiler,
         _lattice = new ConstantPropagationLattice(functionCompiler);
 
@@ -733,7 +731,7 @@ class TypePropagator extends Pass {
         _values,
         _internalError);
 
-    analyzer.analyze(root, recomputeAll);
+    analyzer.analyze(root);
 
     // Transform. Uses the data acquired in the previous analysis phase to
     // replace branches with fixed targets and side-effect-free expressions
@@ -2290,11 +2288,8 @@ class TypePropagationVisitor implements Visitor {
                          this.values,
                          this.internalError);
 
-  void analyze(FunctionDefinition root, bool recomputeAll) {
+  void analyze(FunctionDefinition root) {
     reachableContinuations.clear();
-    if (recomputeAll) {
-      new ResetAnalysisInfo(reachableContinuations, values).visit(root);
-    }
 
     // Initially, only the root node is reachable.
     push(root);