svoid nlLogic_producePartialApplications(final NLLogicChecker_v2 c, final IfThen rule, final VF1<IfThen> r) {
  if (rule == null) ret;
  if (!(rule.in instanceof And)) ret;
  final And a = cast rule.in;

  final new NLLogicChecker_v2.Matching m;
  c.iterate(a.a, m, r {
    callF(r, c.apply(IfThen(a.b, rule.out), m))
  });
}