method delete_children par = 
      Tree.delete_children (par : tree_node)