Removed clutter from translate_insn