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