static AutoComboBox3 treeSetAutoComboBox(NavigableSet<S> s) {
  ret autoComboBox3(func(S s) -> Set<S> {
    prefixSubSet(linesSet, s)
  });
}