During bailout construction add condition instructions to list of live variables.

lib/compiler/implementation/ssa/bailout.dart

Index: lib/compiler/implementation/ssa/bailout.dart
diff --git a/lib/compiler/implementation/ssa/bailout.dart b/lib/compiler/implementation/ssa/bailout.dart
index 85bb7524c7e5205db6b2b124bcdf2cf74b64a1ae..c1c814d51bcd81ed725605a005a61ac0da8f4e2d 100644
--- a/lib/compiler/implementation/ssa/bailout.dart
+++ b/lib/compiler/implementation/ssa/bailout.dart
@@ -205,6 +205,7 @@ class SsaTypeGuardBuilder extends HBaseVisitor implements OptimizationPhase {
     environment = thenEnvironment;
     visitSubGraph(info.thenGraph);
     environment.addAll(elseEnvironment);
+    visitInstruction(instruction);
   }
 
   void visitGoto(HGoto goto) {
@@ -252,6 +253,7 @@ class SsaTypeGuardBuilder extends HBaseVisitor implements OptimizationPhase {
     // We merge the environment required by the code after the loop,
     // and the code inside the loop.
     environment.addAll(joinEnvironment);
+    visitInstruction(branch);
   }
 
   // Deal with all kinds of control flow instructions. In case we add