static LS ai_matchRulesWithMultipleConditions_precise(LPair<LS, S> rules, Set<S> facts) {
  new LS out;
  for (Pair<LS, S> rule : unnull(rules))
    if (containsAll(facts, rule.a))
      out.add(rule.b);
  ret out;
}