updated seq proof loop to use new paramodulation, some testing outputs. removed ext-normalized parents from passive set
updated seq proof loop to use new paramodulation, some testing outputs. removed ext-normalized parents from passive set

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