let whole kf stmt =
let res = backward kf stmt in
let from =
M.fold
(fun (n,kf) v acc ->
Todolist.add n kf v.pdg v.callstack_length false(*?*) acc)
res
[]
in
Security_slicing_parameters.debug
"computing forward component for stmt %d" stmt.sid;
related_nodes_of_nodes (Forward Security) res from