Implement printing of instruction result values when debug info is turned