add isl_constraint_cmp_last_non_zero