Boolean_game_tree