Reintroduce isl_basic_set_finalize to fix test cases