SZS status Theorem for i/f/option/OPTION__GUARD__COND
