SZS status Theorem for i/f/fmapal/FAPPLY__fmap__NIL
