static L<SS> ai_texts_embeddedOp_upperCaseVars(S s) {
  new L<S> vars;
  S pat = upperCaseVarsToStars(s, vars);
  new L<SS> l;
  if (l(vars) != 2) ret l;
  S var1 = vars.get(0), var2 = vars.get(1);
  for (Pair<S> p : ai_texts_rel(squareBrackets(pat)))
    l.add(litmap(var1, p.a, var2, p.b));
  ret l;
}