removed function interfaces that causes the compiler to become desperate
removed function interfaces that causes the compiler to become desperate

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