Move the control flow graph bits into a separate module.