commit external provers is now ready to deal with multiple states
commit external provers is now ready to deal with multiple states

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