let tree_pruning ()     = !tree_pruning_opt