add isl_basic_set_eliminate