SZS status Theorem for i/f/quantHeuristics/EXISTS__NOT__FORALL__THM
