misc.py: _flattenTree -> _flatten_tree