sbool containsDollarVars(S s) {
  for (S s : javaTokC(s))
    if (isDollarVar(t)) true;
  false;
}