private bool VirtualMethodIsInDemand(IMethodDefinition virtualMethod) { Contract.Requires(GarbageCollectHelper.MethodDefinitionIsUnspecialized(virtualMethod)); Contract.Requires(virtualMethod.IsVirtual); return(virtualCallsInDemand.VirtualMethodIsInDemand(virtualMethod)); }