static bool ai_matchMulti(LS vars, LS values, SS matches) {
  int n = l(vars);
  if (n != l(values)) false;
  new SS newMatches;
  for i to n:
    if (!strictPutIC(newMatches, vars.get(i), values.get(i))) false;
  ret addMapToMapWithoutOverwritingIC(matches, newMatches);
}