val minimize_qtree : Table.query_tree -> Table.query_tree
val eval_qtree : Naive_tree.t -> Naive_tree.node list ->Table.query_tree -> Naive_tree.node list
val minimize_qtree : Table.query_tree -> Table.query_tree
val eval_qtree : Naive_tree.t -> Naive_tree.node list ->Table.query_tree -> Naive_tree.node list