remove 'deref_to_tree', not needed anymore