1Regression test for the BCE phase of optimizing, 2that used to have wrong assumptions about array length bounds. 3