let has_deleted_ancestor n = List.exists (fun (_, _, a) -> a.deleted) n.from