protected override void SetAbstractValueForAssignment(AnalysisEntity targetAnalysisEntity, IOperation assignedValueOperation, CopyAbstractValue assignedValue)
{
if (assignedValue.AnalysisEntities.Contains(targetAnalysisEntity))
{
// Dead assignment (assigning the same value).
return;
}
base.SetAbstractValueForAssignment(targetAnalysisEntity, assignedValueOperation, assignedValue);
CurrentAnalysisData.AssertValidCopyAnalysisData();
}