fixed a bug that would falsely classify a result as CAX if only neg conjecture occur in problem
fixed a bug that would falsely classify a result as CAX if only neg conjecture occur in problem

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