public void generate_t(String path, String pack) throws IOException {
        List<ProductionRule> rs = toGrammarRules(T);
        Generator g = new Generator(t, d, e, dchi, pack);
        for (ProductionRule r : rs) {
            if (!t.nat(r.a) && !t.var(r.a)) {
                g.en_t_L(r, this.funSet.contains(r.a)).writeToFile(path);
            }
        }
    }