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