public int getArity(Term t, Env env) { return env.getSymTable().getArity(t.getStartName(), t.getStartType()); }
public String getSymbol(Term t, Env env) { return env.getSymTable().get(t.getStartName(), t.getStartType()); }