SZS status Theorem for i/f/alist/fmap__to__alist__inj
