let print_lemmas config = config.print_lemmas