Cleaned up src/global_operations/ (was src/print_tree/).