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

