excluded flex-flex literals from paramodulating into
excluded flex-flex literals from paramodulating into

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