SZS status Theorem for i/f/option/FORALL__OPTION
