static Comparator<ExecutedRule> ai_executedRuleComparator() {
  ret calculatedFieldComparator(func(ExecutedRule r) -> Int {
    int n = r.failureLevel();
    ret n == 0 ? 0 : n < 0 ? 1 : Int.MAX_VALUE-n;
  });
}