small refresh for new cloog and isl