Flows are often scoped to represent a complete process. Such processes will sometimes have conditional behaviors that nest branches within other branches. Modeling this nested branching within the same Flow object is currently not possible. Similarly, the branching behavior within loops presents its own challenge to cleanly model within the scope of a single flow. It would be ideal if a means is provided to model these behaviors within the scope of a single flow.