static bool containsXYZVars(S s) {
  ret containsXYZVariables(s);
}