SZS status Theorem for i/f/option/option__CLAUSES_c13
