SZS status Theorem for i/f/quantHeuristics/IS__SOME__EQ__NOT__NONE
