isl_mat_inverse_product: add memory management annotations