|              |
                         p              r        p
                        <r>            <r>      <b>
                       /   \          /   \
                      a      r    => a     x
                            <b>
                               \
                                x