FIXME

   1 - clay read only the first scop in the chain list
   2
   3 - regenerate access with inequalities
   4
   5 - pip_close in candl (memleak)
   6
   7 - datacopy bug (taken from the polybench symm.c) :
   8
   9   If we have something like this :
  10   for (i = 0 ; i < N ; i++)
  11     for (j = 0 ; j < N ; j++)
  12       for (k = 0 ; k < j - 1 ; k++)
  13         a[i][k] = ...
  14
  15   The generated loop for the datacopy will fail :
  16   for (i = 0 ; i < N ; i++)
  17     for (k = 0 ; ; k++) // no end
  18       a_copy[i][k] = a[i][k]
  19
  20   This is beacause there is no j in a[i][k] and the matrix domain is copied
  21   from the original. Clay see that j is not used, and set in the domain :
  22   j >= 1
  23   j <= -1
  24   This will remove the loop j in the datacopy.
  25
  26   But it's wrong, because k depends of j.