UNFOLD [ 1 [ 2 [] [] ] [ 3 [] [] ] ]
IS_EMPTY
FOLD