private static void collectSuccessors(Node node, HashSet<Node> result) { result.Add(node); foreach (Arc arc in node.getChildrenArcs()) { collectSuccessors(arc.getChild(), result); } }