This makes the programming model a full dataflow implementation, as it allows for branching and recursion.
