|
| : a fragment with of types opt, break, loop and ref |
| : two fragment nodes representing the start and end of the fragment |
| : two message nodes representing two messages |
| : an edge from the fragment node representing start of fragment to message node |
| : an edge from to labeled with the condition |
| : add an edge from to |
| : add an edge from to labeled with the condition |
| : delete an edge from to |
| R1: ( )). |
| R2: (& . |
| R3: ( & ). |
| R4: ( . |
| R5: . |
| R6: ) . |
| R7: . |
| R8: . |
| R9: ( & ). |
| R10: (). |
| R11: (. |
| R12: ( & ). |
| R13: ( & ). |
| R14: ( & ). |
| R15: ( & ). |
|