def op_undef(i, s):
    reg = i.input0
    if s.registers in reg.name:
        s.registers[reg.name] = None
    return [s]
dataset/ETHPy150Open c01db33f/concolica/emulator.py/op_undef/swapped operands of `in`