public AnalyzerData analyzedVirtualMethod(VirtualMethod virtualMethod)
 {
     return(new AnalyzerData(
                usedTypes, analyzedMethods,
                virtualMethodsToAnalyze.Remove(virtualMethod), analyzedVirtualMethods.Add(virtualMethod)
                ));
 }
 public AnalyzerData addVirtualMethod(VirtualMethod method)
 {
     return(virtualMethodsToAnalyze.Contains(method) || analyzedVirtualMethods.Contains(method)
 ? this : new AnalyzerData(usedTypes, analyzedMethods, virtualMethodsToAnalyze.Add(method), analyzedVirtualMethods));
 }