internal NodeWithMessages(NodeWithInfo node) { NodeWithInfo = node; }
internal NodeWithMessages(NodeWithInfo node) { NodeWithInfo = node; }
internal NodeWithMessages(NodeWithInfo node) { NodeWithInfo = node; }
internal NodeWithMessages(NodeWithInfo node) { NodeWithInfo = node; }