svoid nlLogic_flexMatch_iterate_vbar(S pat, S input, NLLogicChecker_v2.Matching m, Runnable onMatch, VarMatches oldMatches) {
  /*if (nlLogic_flexMatch_iterate_debug)
    print("nlLogic_flexMatch_iterate_vbar " + pat + " / " + input);*/
  for (S pat2 : tok_splitAtVerticalBar(pat))
    nlLogic_flexMatch_iterate(pat2, input, m, onMatch, oldMatches);
}