fixing instruction.toString() in the translator