SZS status Theorem for i/f/option/NOT__IS__SOME__EQ__NONE
