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