Major Section: PROOF-CHECKER-COMMANDS
Example and General Form: print-main
Print the goal as originally entered.
