verification of make_inverse_operator