resolution_tree