static O evalWithDollarVars_assertAllVarsSet(S code, final SS values) {
  Pair<LS, O> p = prepareEvalWithDollarVars_assertAllVarsSet(code, values);
  ret evalWithDollarVars_step2(p, values);
}