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