test 043 passed

the source of the problem was wrong implementation of leave().