support the and-or-tree.