Added config.traverse_leaves()