1The tests in this directory have been adapted from the corresponding omega+ 2test cases. 3The options have been derived semi-automatically and may not always 4correspond to the intended meaning of the specified "effort" in the omega+ 5test cases. 6