isl_equalities.c: isl_mat_variable_compression: clarify result