remove stack trace output for SZSExceptions: this just confuses users
remove stack trace output for SZSExceptions: this just confuses users

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