public override string ToString()
{
State s = this._state;
StringBuilder sb = new StringBuilder();
foreach (object o in s.InconsistentReadHistory)
{
sb.Append(o.ToString()).Append('\n');
if (o is NumberValue)
{
NumberValue v = ( NumberValue )o;
v.PrintStackTrace(sb);
}
}
return(sb.ToString());
}