private SymbolicEvaluationContext(SymbolicEvaluationContext old)
 {
     this.arch           = old.arch;
     this.Frame          = old.Frame;
     this.RegisterState  = new Dictionary <Storage, Expression>(old.RegisterState);
     this.StackState     = new SortedList <int, Expression>(old.StackState);
     this.TemporaryState = new Dictionary <Storage, Expression>(old.TemporaryState);
     this.TrashedFlags   = old.TrashedFlags;
     this.setter         = new StorageValueSetter(this);
 }
 public StorageValueSetter(SymbolicEvaluationContext ctx)
 {
     this.ctx = ctx;
 }