improve printing of void return instrs