Splitted mainloop to multiple functions performing the functionality on all three sets
Splitted mainloop to multiple functions performing the functionality on all three sets

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