The purpose of this test is to check that a if control flow does result in the execution of the compound list inside the correct branch