public void AddTrackedPointsToValue(PointsToAbstractValue value)
 => PointsToValues.Add(value);
 public bool IsTrackedPointsToValue(PointsToAbstractValue value)
 => PointsToValues.Contains(value);
 public void Dispose()
 {
     AllEntities.Dispose();
     PointsToValues.Dispose();
 }