UNFOLD [ 2 [ 3 [] [] ] [ 1 [] [] ] ]
CHECK_IN_ORDER
