added fv renaming to rewriteSimp method to remove holes in implicitly quantified variables, toTPTP currently assumes no holes
added fv renaming to rewriteSimp method to remove holes in implicitly quantified variables, toTPTP currently assumes no holes

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