def _raise_invalid_type_oprnd(self, operand):
        msg_fmt = "Invalid source type: {0} ({1})"

        raise Exception(msg_fmt.format(str(operand), type(operand)))
Raise exception for invalid operand type.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._raise_invalid_type_oprnd