def METHOD_NAME(self, reg: "Register") -> bool:
    if self._last_state is None:
        return False
    different = self.state.solver.eval(self.state.regs.get(reg.name) != self._last_state.regs.get(reg.name))
    return different