(macro) print the original goal
Example and General Form: print-main
Print the goal as originally entered.
