Stumbling Blocks
Occasionally the control flow abstraction process will reach a dead end
This usually happens because of unstructured uses of goto statements
In these cases, the program can be transformed into one without the stumbling block
The transformations preserve the behavior of the program, usually by making a copy of a group of statements