finishing up the CFG