SZS status Theorem for i/f/alist/alist__to__fmap__FAPPLY__MEM
