+---------------------------------------------------------------------------------------------+
|                                               S0                                            |
+---------------------------------------------------------------------------------------------+
|     entry/                                                                                  |
|     exit/                                                                                   |
|     H/[foo.equals(0)];                                                                      |
|                                                                                             |
|           +-------------------------+      +--------------------------------------------+   |
|       *-->|            S1           |      |                     S2                     |   |
|           +-------------------------+      +--------------------------------------------+   |
|           | entry/                  |  C   | entry/                                     |   |
|     D     | exit/                   |----->| exit/                                      |   |
|<----------| H/                      |      | H/[foo.equals(1)];                         |   |
|           |                         |      |                                            |   |
|           |     +---------------+   |  C   |      +------------------------------+      |   |
|           | *-->|      S11      |   |<-----|  *-->|             S21              |      |   |
|           |     +---------------+   |      |      +------------------------------+      |   |
|        +--|     | entry/        |   |  F   |      | entry/                       |      |   |
|       A|  |     | exit/         |<---------|      | exit/                        |      |   |
|        +->|     |               |   |      |      |       +--------------+       |      |   |
| A[foo 1]; |  B  |               |   |      |      |   *-->|     s211     |       |      |   |
|           |---->|               |   |      |   F  |       +--------------+       |      |   |
|           |     |               |   |-------------------->| entry/       |       |  G   |   |
|           |  +--|               |   |      |   G  |       | exit/        |----------------->|
|           |  |  |               |------------------------>|              |       |      |   |
|           |  |  +---------------+   |      |      |   B   |              |       |  E   |   |
|           |  |                      |      |      |------>|              |<-----------------|
|           |  |  +---------------+   |      |      |       |              |       |      |   |
|           | I|  |      S12      |   |      |      |   D   |              |       |      |   |
|           |  |  +---------------+   |      |      |<------|              |       |      |   |
|           |  |  | entry/        |   |      |      |       +--------------+       |      |   |
|           |  |  | exit/         |   |      |      |                              |      |   |
|           |  |  |               |   |      |      |                              |      |   |
|           |  +->|               |   |      |      |                              |      |   |
|           |     +---------------+   |      |      +------------------------------+      |   |
|           |                         |      |                                            |   |
|           +-------------------------+      +--------------------------------------------+   |
|                                                                                             |
+---------------------------------------------------------------------------------------------+
