Allow TheoryApprovalsRule to know the name of the theory by adding a non-static @Rule