private AssignmentTracker(AssignmentTracker src)
{
this.initializedVariables = new HashSet <VariableDeclaration>(src.initializedVariables, comparer: variableDeclarationComparer);
this.assignedVariables = new HashSet <VariableDeclaration>(src.assignedVariables, comparer: variableDeclarationComparer);
// this info is fixed per entire function so we can share it
this.variableLoopLevels = src.variableLoopLevels;
}
public void ResetBranches()
{
this.ThenBranch = null;
this.ElseBranch = null;
}