Better pretty-printing for Cond and Casejump instructions