static Collection<S> ciClusters_add(Clusters<S> clusters, L<S> l) {
  for (int i = 0; i < l(l)-1; i++)
    ciClusters_add(clusters, l.get(i), l.get(i+1));
  ret clusters.get(first(l));
}

static void ciClusters_add(Clusters<S> clusters, S a, S b) {
  if (eqic(a, b)) {
    Collection<S> cluster = clusters.get(a);
    if (cluster == null)
      clusters.put(a, litciset(a));
    ret;
  }
  
  Collection<S> clusterA = clusters.get(a);
  Collection<S> clusterB = clusters.get(b);
  if (clusterA == null && clusterB == null) {
    L<S> cluster = ll(a, b);
    clusters.put(a, cluster);
    clusters.put(b, cluster);
  } else if (clusterA == null) {
    clusterB.add(a);
    clusters.put(a, clusterB);
  } else if (clusterB == null) {
    clusterA.add(b);
    clusters.put(b, clusterA);
  } else if (clusterA != clusterB)
    treeSetClusters_merge(clusters, clusterA, clusterB);
}

Began life as a copy of #1010458