isl_mat_extend: make sure the number of rows never decreases