SZS status Theorem for i/f/option/IF__EQUALS__OPTION_c3
