public override bool Equals(object obj) { if (obj.GetType() != this.GetType()) { return(false); } ProverTimeout that = ( ProverTimeout )obj; return(TimeoutMessage.ToString().Equals(that.TimeoutMessage.ToString())); }