A while loop with a single loop variable looks like this: (output) ^ +---------------+ | | body subgraph +-------------+ Exit +---------------+ | ^ ^ | | | | Switch<--------+ v ^ | NextIteration | +------+--------+ | +---->| cond subgraph | | | +----------
source not stored for this graph (policy: none)