UNFOLD [ 2 [ 1 [] [] ] [ 0 [] [] ] ]
CHECK_IN_ORDER
