static Pair, LS> ai_rulesAndFactsFromMechLists(S mechListNames) { ret eq(mechListNames, "") ? ai_activeRulesAndFacts() : pair(ai_rulesFromMechLists(tok_splitAtComma(mechListNames)), emptyList_asList(S)); }