https://123dok.org/document/ozl0dglz-eucalypt-efficient-tree-reconciliation-enumerator.html