Added code that helps debugging instruction graphs.