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));
        }