sig val good : Node.t -> Node.t option end