Restore reduced_tree_maker.cpp