removed some commented code
Improved the pretty printing of the proof obligations
eliminated ~400 lines of commented dead code