Tail recursion in ocaml flatten_ezfio