isl_mat_right_inverse: add memory management annotations