SZS status Theorem for i/f/option/OPTION__APPLY__o
