proper time to prune trees - Search