bugfix to the generation of callgraph slices.