Fix program element printing in proof saver #3073

See #3071. This PR changes the saver to use a new printer method that omits the final ;. Probably the behaviour was inadvertantly modified in #3034.