Even though the current algorithm only returns at most one LCA, we should probably define the method interface to return a set of them for generality.