void Instruction::removeWrittenRegister(const triton::arch::Register& reg) {
auto it = this->writtenRegisters.begin();
while (it != this->writtenRegisters.end()) {
if (it->first.getId() == reg.getId())
it = this->writtenRegisters.erase(it);
else
++it;
}
}
void Instruction::updateContext(const triton::arch::Register& reg) {
this->registerState[reg.getId()] = reg;
}