SZS status Theorem for i/f/enumeral/datatype__bl
