Include lemmas in output of analyze-t3.