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