SZS status Theorem for i/f/quantHeuristics/CONJ__NOT__OR__THM
