public void AddReference () { referenced = true; } }
public void SetResolvedTarget (LabeledStatement label) { this.label = label; label.AddReference (); }