output_instruction now nicely formats output statements

Author: kroening

src/goto-programs/goto_program.cpp

@@ -126,6 +126,11 @@ std::ostream &goto_programt::output_instruction(
         out << "HAVOC_OBJECT " << format(code.op0()) << '\n';
         break;
       }
+      else if(code.get_statement() == ID_output)
+      {
+        out << "OUTPUT " << format(code.op0()) << '\n';
+        break;
+      }
       // fallthrough
     }