SZS status Theorem for i/f/option/NOT__NONE__SOME
