let topologic_propagation project =
!Slicing.Request.apply_all_internal project;
!Db.Semantic_Callgraph.topologically_iter_on_functions
(fun kf ->
SlicingParameters.debug ~level:3
"doing topologic propagation for function: %a"
Kernel_function.pretty kf;
!Slicing.Request.apply_all_internal project)