The tests in this directory have been adapted from the corresponding CLooG
test cases.