1Regression test for optimizing's code generator which wouldn't
2materialize a condition when used only by an environment.
3