CLooG, the Chunky Loop Generator
