when should trees be pruned - Search