Trying to collect symbolic address from MemoryAccess about triton HOT 2 OPEN

def test(self):
        self.ctx = TritonContext(ARCH.X86_64)
        self.ctx.setMode(MODE.MEMORY_ARRAY, True)
        self.ctx.setMode(MODE.SYMBOLIZE_LOAD, True)
        self.ctx.setMode(MODE.SYMBOLIZE_STORE, True)
        code = [
            (1, b"\x8b\x0c\x18"), # mov ecx, dword ptr [rax + rbx]
            (2, b"\x48\x81\xf9\xad\xde\x00\x00"), # cmp rcx, 0xdead
        ]

        self.ctx.symbolizeRegister(self.ctx.registers.rax, 's_rax')
        self.ctx.symbolizeRegister(self.ctx.registers.rbx, 's_rbx')
        self.ctx.symbolizeRegister(self.ctx.registers.rcx, 's_rcx')
        count = 0 # counter for symbolized memory
        for i, op in code:
            i= Instruction(op)
            self.ctx.processing(i)
            if i.isMemoryRead():
                a = i.getLoadAccess()
                readMemory = a[0][0]
                if not self.ctx.isMemorySymbolized(readMemory):
                    memAlias = f'mem_{count}'
                    self.ctx.symbolizeMemory(readMemory, memAlias)
                    print(f"symbolize memory {readMemory} with {memAlias}")
                    count += 1
            if i.isMemoryWrite():
                # similar to memory read
        zf = self.ctx.getRegisterAst(self.ctx.registers.zf)
        m = self.ctx.getModel(zf == 1)
        print(m)