A loop where we are guaranteed (or is at least likely) to execute the body at least once.
Prune edges where the predecessor block looks like it might contain a call to an exit function.
Marker for “uninitialized”.
A source of an uninitialized variable. Either the start of the scope or a deletion.