-in this case the simplifier will remove the binding for y
-as it is not used (we expected this to happen very often, but we do
-not know how many "reboxers" are eventually removed and how many are
-kept), and will keep the binding for x.
-But notice that x is only used in *one* of the branches in the case,
-but is always being allocated! The floating inwards pass would push
-its definition into the True branch.
+in this case the simplifier will remove the binding for y as it is not
+used (we expected this to happen very often, but we do not know how
+many "reboxers" are eventually removed and how many are kept), and
+will keep the binding for x. But notice that x is only used in *one*
+of the branches in the case, but is always being allocated! The
+floating inwards pass would push its definition into the True branch.