public override string ToString() { return $"Rights: {Rights}, Wrongs: {Wrongs}, Exceptions: {Exceptions}, SyntaxErrors: {SyntaxErrors}"; }