|_| E-Flows = Explicit Flows from Assignments | |_| I-Flows = Implicit Flows from Condition(s)/Predicate(s) of Assignments