static void je_postThens(L<JE_CascadeEntry> rule) {
  int i = je_indexOfThen(rule);
  if (i < 0) i = 0; // all then
  for (; i < l(rule); i++) {
    JE_CascadeEntry e = rule.get(i);
    continue if e.java;
    L<S> tok = tok_withoutOuterBrackets(e.tok);
    T3<S> t = ai_tripelize(join(tok));
    post(t);
  }
}