push_node


Description:

private void push_node (string name, bool merge)