static Set<S> collectPossibleGlobalIDs(S s) {
  new TreeSet<S> ids;
  for (S t : javaTokC(s))
    if (possibleGlobalID(t))
      ids.add(t);
  ret ids;
}