Use isl C++ foreach implementation