extract isl_basic_set_scan from polytope_scan.c