|
                    y                        |
                  <++>                       x
                      \                     <0>
                        x             __..-'   \
                       <+>        =>  y          n
                          \          <0>        <0>
                            n           \          \
                           <0>           [x]        []
                              \
                               []