+ | Tree.Binary.Nil -> SSet.inter r auto.final
+ | Tree.Binary.String id -> (
+ match strings with
+ | None -> SSet.inter r auto.final
+ | Some valid_strings when (Tree.Binary.DocIdSet.mem id valid_strings)
+ -> Printf.eprintf "Selecting string '%s'\n%!" (Tree.Binary.get_string t id);
+ SSet.inter r auto.final
+ | _ -> SSet.empty
+ )