Leave test implemented.

(An incomplete test for "move" is also there, commented out)