add isl_basic_set_partial_lex{min,max}