first try to fix ()'ing of unapplied connectives in proof output
first try to fix ()'ing of unapplied connectives in proof output

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