added inclusion of choice axioms for user-choice symbols
added inclusion of choice axioms for user-choice symbols

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