Implement initial control-flow support
For the first pass, we should probably stay structured but we would like to make unstructured possible in the future.
For the first pass, we should probably stay structured but we would like to make unstructured possible in the future.