SZS status Theorem for i/f/option/OPTION__IGNORE__BIND__thm_c0
