public void AddRange(Diagnostic_Collection diagnostics) { _diagnostics.AddRange(diagnostics._diagnostics); }