1Regression test for BCE phase of optimizing. See Main.java
2for a description of the bug.
3