Update TheoremSetTest