addlast

Popper encoding for the addlast problem.
Back to my Popper page.