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