| 0 | whilestmt.c:32:22:37:1 | { ... } | 1 | whilestmt.c:33:3:35:3 | while (...) ... |
| 1 | whilestmt.c:33:3:35:3 | while (...) ... | 1 | whilestmt.c:33:9:33:9 | 1 |
| 1 | whilestmt.c:33:9:33:9 | 1 | 1 | whilestmt.c:33:12:35:3 | { ... } |
| 1 | whilestmt.c:33:12:35:3 | { ... } | 2 | whilestmt.c:34:5:34:7 | label ...: |
| 2 | whilestmt.c:34:5:34:7 | label ...: | 2 | whilestmt.c:34:8:34:8 | ; |
| 2 | whilestmt.c:34:8:34:8 | ; | 1 | whilestmt.c:33:9:33:9 | 1 |
| 4 | whilestmt.c:36:3:36:5 | label ...: | 4 | whilestmt.c:36:6:36:6 | ; |
| 4 | whilestmt.c:36:6:36:6 | ; | 5 | whilestmt.c:37:1:37:1 | return ... |
| 5 | whilestmt.c:37:1:37:1 | return ... | 0 | whilestmt.c:32:6:32:18 | always_true_3 |