fixes to dynamic callgraph  generalisation.