let are_equivalent v1 v2 = 
  UnionFind.equivalent v1 v2