static Pair, LS> ai_rulesAndFacts() { ret ai_activeRulesAndFacts(); } static Pair, LS> ai_rulesAndFacts(LS extraFacts) { ret ai_activeRulesAndFacts(extraFacts); }