Source: https://homes.cs.washington.edu/~mernst/pubs/implicit-control-flow-tr150801.pdf