re-unification of paramod and factor clauses introduced
re-unification of paramod and factor clauses introduced

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