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