let top_tree entry =
function
| Node { node = s; brother = bro; son = son } ->
Node
{ node = top_symb entry s; brother = bro; son = son;
}
| LocAct (_, _) | DeadEnd -> raise Stream.Failure