Add logic for finding a common ancestor of two vertices in a tree.
Continue implementing Edmonds' algo.