+ let mini_qtree_list =
+ List.map (fun qtree -> Query_tree.minimize_qtree qtree) query_tree_list
+ in
+ let root = Bitvector.create (Naive_tree.size doc) in
+ Bitvector.set root 0 true;
+ List.iter ( fun q ->
+ let v = eval_qtree doc root q in
+ if !display then begin
+ let res = decode_bit doc v in
+