SZS status Theorem for i/f/state_transformer/mapM__nil
