SZS status Theorem for i/f/Omega/eval__step__extra2
