static Pair<L<IfThen>, LS> ai_activeRulesAndFacts(LS extraFacts) { 
  LS facts = concatLists_conservative(extraFacts, mL_facts());
  ret pair(ai_activeRules(), facts);
}