let make kf graph states index = let body = { graph = graph; states = states; index = index ; } in (kf, PdgDef body)