static NLLogicChecker_v2.Matching ai_matchingWrapping(VarMatches matches) {
  new NLLogicChecker_v2.Matching m;
  m.matches = matches;
  ret m;
}