static ItIt<SS> arbitraryVarsFlexMatchIC_iterator(Set<S> vars, S pat, S input) {
  new LS usedVars;
  S starsPat = arbitraryVarsToStars(pat, vars, usedVars);
  ret mapI(flexMatchIC_iterator(starsPat, input), m -> matchesToMapUsingVarList_ciMap(m, usedVars));
}