static bool ai_possibleRule(S s) {
  s = trim(dropAnyPrefix(s, "\"", "[["));
  ret swic(s, "if ");
}