updating CFG