public override string ToString()
{
StringBuilder sb = new StringBuilder("exists_result(");
sb.Append("Success: ");
sb.Append(Success);
sb.Append(",Ouch: ");
sb.Append(Ouch== null ? "<null>" : Ouch.ToString());
sb.Append(")");
return sb.ToString();
}