static Set<S> nlLogic_constructNames(Exp exp) {
  final new HashSet<S> set;
  nlLogic_visit(exp, voidfunc(O o) {
    if (o cast Func) set.add(o.name);
    if (o instanceof Literal) set.add(o.text());
  });
  ret set;
}