Contains two nodes with which a loop can be built. They iterate until a flow variable satisfies a certain condition.