static void nlLogic_iterate_withOnFail(final NLLogicChecker_v2 c,
Exp e, final NLLogicChecker_v2.Matching m, final Runnable onMatch,
final VF1<Exp> onFail) {
final new Flag anyResults;
c.iterate_single(e.a, m, r {
nlLogic_iterate_withOnFail(c, b, m, onMatch, onFail)
c.iterate_single(e, m, r {