inserted preliminary external leo call to seqpproc
inserted preliminary external leo call to seqpproc

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