when use ctx.getModel ， it leads to msvc assert execption of xmeorry Line：209 #1421
Description
I use the test code as following：
int main() {
triton::Context ctx(triton::arch::ARCH_X86_64);
// Symbolize RAX register
auto raxReg = ctx.getRegister(triton::arch::ID_REG_X86_RAX);
auto raxVar = ctx.symbolizeRegister(raxReg, "RAX");
// Process XOR instruction
triton::arch::Instruction inst;
inst.setOpcode("\x48\x35\x44\x33\x22\x11", 6); // xor rax, 0x11223344
ctx.processing(inst);
// Get symbolic expression
auto rax = ctx.getSymbolicRegister(raxReg);
std::cout << "RAX expression: " << rax->getAst() << std::endl;
// Solve constraint: RAX == 0
auto constraint = ctx.getAstContext()->equal(
rax->getAst(),
ctx.getAstContext()->bv(0, 64)
);
auto model = ctx.getModel(constraint); // windows assertion exception
return 0;
}