public override string ToString() { return string.Format("Match {0}; found {1} labels", Succeeded ? "succeeded" : "failed", Labels.Count); }
