SZS status Theorem for i/f/quantHeuristics/RIGHT__IMP__AND__INTRO
