static F1<PTElement, O> ai_parseTree_sortingFunction() {
  ret func(PTElement e) { pair(e instanceof ChoosePart, e.totalWeight) };
}