Better formatting of instr debug format, print correct input operand values