add isl_set_plain_cmp