Finish lemma pretty printing and dump commands.