The JL5 implementation falsely generates code for this test case.