- Add instruction to current CFG block
- When a IF happens, create a new block(s)
- when jumping to instruction A, split block containing A into 2
  - one with all inst before A, one with A and following inst
  - make first block point to the second
  - make end of jump point to second
  - second points to succ of original block