The CLooG Code Generator in the Polytope Model