isl_polytope_scan: use isl_tab_from_basic_set