Add printing code for dominator info