Partial implementation of execution context. It tracks the task being executed but it is still hard to know if it goes in a loop or which part of the condition (true or false) it goes to.