let
mk_init kf pdg =
List
.fold_left (
fun
acc n
->
add n kf pdg 0
false
acc) []