let rec aux acc = function
| Leaf _ -> acc
| Var i -> if (List.mem i acc) then acc else i::acc
| Node l -> List.fold_left aux acc l
let rec aux acc = function
| Leaf _ -> acc
| Var i -> if (List.mem i acc) then acc else i::acc
| Node l -> List.fold_left aux acc l