method create_child k m op par =
      let this_id = next_id in
        next_id <- next_id + 1 ;
        let rv = 
          ((Tree.create_child { id  = this_id ;
                              mark = m; kind = k } op par) : tree_node)
        in
          Hashtbl.add tree_node_table this_id (ref rv);
          rv