SZS status Theorem for i/f/enumeral/OL__ENUMERAL
