SZS status Theorem for i/f/alist/set__MAP__FST__fmap__to__alist
