Iterated_trees_of_strategies