static NLLogicChecker_v2 nlLogicCheckerWithRulesAndFacts(Pair<L<IfThen>, LS> p) {
  new NLLogicChecker_v2 c;
  c.rules = p.a;
  c.facts = p.b;
  ret c;
}