SZS status Theorem for i/f/bag/mlt__NOT__REFL
