SZS status Theorem for i/f/option/OPTION__BIND__EQUALS__OPTION_c1
