Change the TPTP status when generating a problem from a theorem/lemma.