static NLLogicChecker_v2 nlLogicCheckerWithFacts(LS facts) {
  new NLLogicChecker_v2 c;
  c.facts = facts;
  ret c;
}