avoided unnecessary creation of annotatedclauses in RewriteSimp
avoided unnecessary creation of annotatedclauses in RewriteSimp

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