Updates the CFG