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