static S replaceNumbersWithABCDollarVars(S s) {
  Set<S> taken = regexpExtractAllIC("\\$[a-z]+", s);
  ret replaceNumbersWithVars(s, abcDollarVarMakerWithoutTaken(taken));
}