let fold_succ f env n = CFG.fold_succ (fun v env -> f env v) env.graph n env