method create_root m =
      let this_id = next_id in
        next_id <- next_id + 1 ;
        let entry = {call_sites = nset_empty; exit_pts = nset_empty} in
        let rv = ((Tree.create_root { id  = this_id ;
                             mark = m; kind = Entry entry}) : tree_node) 
        in
          Hashtbl.add tree_node_table this_id (ref rv);
          rv