add isl_mat_lexnonneg_rows