Move to CLooG 0.18.1 and isl 0.12.1