Example 1.
Shimon’s control flow. Reproduced from Nikolaidis and Weinberg 2010, 714
