added freshvar generator starting from zero. mainly for testing where no clauses are involved
added freshvar generator starting from zero. mainly for testing where no clauses are involved

leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III