let get_all_kf () = Globals.Functions.fold (fun kf lkf -> kf::lkf) []