Print Boogie output in debug mode.