code: def _translate_dst_oprnd(self, operand):
          
          if isinstance(operand, ReilRegisterOperand):
              return self._translate_dst_register_oprnd(operand)
          else:
              raise Exception("Invalid operand type")
docs: Translate destination operand to a SMT expression.