// TODO: optimize
// also doesn't seem to work yet
svoid tok_processDontImports(LS tok, NavigableSet<S> defs) {
  print("tok_processDontImports");
  S prefix = "dontImport_";
  for (S def : startingWithIC_navigableSubSet(prefix, defs)) {
    def = dropPrefixIC(prefix, def);
    S cl = replace(def, "$$", ".");
    bool change = jreplace(tok, "import " + cl + ";", "");
    printVars tok_processDontImports(+def, +cl, +change);
  }
}