public void AddSucc(Node node) { if (!Successors.Contains(node)) { Successors.Add(node); node.AddPred(this); } }