first draft of FO-checking function for FO indexing
first draft of FO-checking function for FO indexing

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