added renaming of free variables in clauses to simplification
added renaming of free variables in clauses to simplification

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