internal CopyAbstractValue WithEntitiesRemoved(IEnumerable <AnalysisEntity> entitiesToRemove) { Debug.Assert(entitiesToRemove.All(entityToRemove => AnalysisEntities.Contains(entityToRemove))); Debug.Assert(AnalysisEntities.Count > 1); Debug.Assert(Kind.IsKnown()); return(new CopyAbstractValue(AnalysisEntities.Except(entitiesToRemove), Kind)); }