The purpose of this test is to check that a until control flow does result in one execution of the compound list.