static S ai_rev(S rule) {
  ret je_lookupRule(rule);
}