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