Check that TheoryApprovalsRule works with more than one theory.