todo: We now have OpenMP support in isl backend