ExecutionLog | `- Expected Cost | +- [f] | 0 | +- [Program] | Choice | 1/3: flag :~ {1 : 0} | Tick(3) | 2/3: Choice | 1/2: flag :~ {1 : 1} | Tick(5) | 1/2: flag :~ {1 : 1} | Tick(7) | `- 5 [Success] 5 Degree: 0