The analyzed function. ▸ marks a leader; each tint is one basic block; gold is the block being updated.
make regen in tracer/Blue values are each block's current properties. Thick purple edges feed the meet being computed; dashed edges are back edges.
Each block's parent is its immediate (post)dominator, drawn once its phase reaches the fixed point.
Register and label numbers are this example's; another compiler may number them differently.