def _translate_undef(self, oprnd1, oprnd2, oprnd3):
        # TODO: Support somehow.

        # raise Exception("Unsupported instruction : UNDEF")

        return []
Get target of the attack
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator._translate_undef--crossover with--dataset/ETHPy150Open tuturto/pyherc/src/pyherc/rules/combat/factories.py/UnarmedCombatFactory.get_target