SZS status Theorem for i/f/quantHeuristics/RIGHT__IMP__OR__INTRO
