Felsenstein's tree-pruning algorithm: Difference between revisions