static LinkedHashSet<S> ai_parseTree_simplifiedTexts(PTElement e) {
  new LinkedHashSet<S> out;
  ai_parseTree_simplifiedTexts_collect(e, out);
  ret out;
}

svoid ai_parseTree_simplifiedTexts_collect(PTElement e, LinkedHashSet<S> out) {
  if (e == null) ret;
  PTElement ee = ai_parseTree_descendToComposite(e);
  if (ee == null) ret with out.add(e.text());
  e = ee;
  if (e instanceof ChoosePart) {
    ai_Reconstructed r = e/ChoosePart.reconstruction;
    WeightedProduction prod = r.production;
    //print("Hint: " + prod.simplificationHint + " in prod: " + sfu(prod));
    //if (eq(prod.simplificationHint, "L")) out.add(r.a.text());
    //else if (eq(prod.simplificationHint, "R")) out.add(r.b.text());
    
    PTElement e1 = first(e.children), e2 = second(e.children);
    L<S> a = asList(ai_parseTree_simplifiedTexts(e1));
    L<S> b = asList(ai_parseTree_simplifiedTexts(e2));
    
    S hint = prod.simplificationHint;
    if (eqOneOf(hint, "L", "B")) insertFirst(b, "");
    /*else XXX*/ if (eqOneOf(hint, "R", "B")) insertFirst(a, "");
    
    //print("L " + className(e1) + " " + className(ai_parseTree_descendToComposite(e1)) + " " + r.a.text() + " => " + a);
    //print("R " + className(e2) + " " + className(ai_parseTree_descendToComposite(e2)) + " " + r.b.text() + " => " + b);
    
    /*for (S aa : a)
      for (S bb : b)
        out.add(trim(aa + " " + bb));*/
    for (PairS p : combineZigZag(a, b))
      out.add(trim(p.a + " " + p.b));
    
    // Add full text too
    out.add(e/ChoosePart.word.text());
  }
}