diff --git a/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt b/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt
index 1835fe3f08..572e9ee102 100644
--- a/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt
@@ -1,6 +1,12 @@
 #;
 (
 #f line #f col #f - make-sequence - in-bytes
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
 495051)
 
 #lang typed/scheme
diff --git a/collects/tests/typed-scheme/optimizer/tests/in-list.rkt b/collects/tests/typed-scheme/optimizer/tests/in-list.rkt
index d32781de1e..28dcdd88e6 100644
--- a/collects/tests/typed-scheme/optimizer/tests/in-list.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/in-list.rkt
@@ -1,6 +1,12 @@
 #;
 (
 #f line #f col #f - make-sequence - in-list
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
 123)
 
 #lang typed/scheme
diff --git a/collects/tests/typed-scheme/optimizer/tests/in-string.rkt b/collects/tests/typed-scheme/optimizer/tests/in-string.rkt
index 869316f416..28c331deef 100644
--- a/collects/tests/typed-scheme/optimizer/tests/in-string.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/in-string.rkt
@@ -1,6 +1,12 @@
 #;
 (
 #f line #f col #f - make-sequence - in-string
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
 123)
 
 #lang typed/scheme
diff --git a/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt b/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt
index cabc94744f..4c5e3c32ab 100644
--- a/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt
@@ -1,6 +1,12 @@
 #;
 (
 #f line #f col #f - make-sequence - in-vector
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
 123)
 
 #lang typed/scheme
diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt
index 945bc16203..e76602ab04 100644
--- a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt
+++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt
@@ -12,13 +12,15 @@ unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
 unboxed-for.rkt line 51 col 31 - sum - unboxed var -> table
 #f line #f col #f - for-loop - unboxed function -> table
 #f line #f col #f - for-loop - fun -> unboxed fun
+#f line #f col #f - op - dead else branch
 unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
 unboxed-for.rkt line 53 col 9 - i - unbox float-complex
 unboxed-for.rkt line 53 col 11 - sum - unbox float-complex
 unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
 unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
 #f line #f col #f - (#%app pos->vals pos) - unbox float-complex
-#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%expression (#%app val-cont? i)) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (#%app all-cont? pos i)) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) - unboxed let bindings
+#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) - unboxed let bindings
+#f line #f col #f - op - dead else branch
 unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
 unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
 unboxed-for.rkt line 53 col 9 - i - leave var unboxed
@@ -31,6 +33,7 @@ unboxed-for.rkt line 53 col 9 - i - leave var unboxed
 unboxed-for.rkt line 53 col 11 - sum - leave var unboxed
 unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
 unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
+#f line #f col #f - op - dead else branch
 unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
 unboxed-for.rkt line 51 col 31 - sum - unbox float-complex
 #f line #f col #f - for-loop - unboxed call site
@@ -38,16 +41,13 @@ unboxed-for.rkt line 51 col 31 - sum - unbox float-complex
 unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
 unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
 unboxed-for.rkt line 51 col 53 - 0.0+0.0i - unboxed literal
-unboxed-for.rkt line 51 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (if (#%expression (#%app pos-cont? pos)) (let-values (((i) (#%app pos->vals pos))) (if (#%expression (#%app val-cont? i)) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (#%app all-cont? pos i)) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) - unboxed call site
+unboxed-for.rkt line 51 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (if (#%expression (if pos-cont? (#%app pos-cont? pos) (quote #t))) (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) - unboxed call site
 #f line #f col #f - for-loop - unboxed let loop
 3.0+6.0i
 )
 
 #lang typed/scheme
 #:optimize
-
-
-
 (for/fold: : Float-Complex   ((sum : Float-Complex   0.0+0.0i))
            ((i : Float-Complex   '(1.0+2.0i 2.0+4.0i)))
       (+ i sum))