public DefiniteAssignmentMarker CreateDefiniteAssignmentMarker(DefiniteAssignmentMarker.Branch parentBranch) { return new DefiniteAssignmentMarker(this, parentBranch); }
public Branch(DefiniteAssignmentMarker manager, Branch baseBranch) { _manager = manager; _baseBranch = baseBranch; }