let initial_nodes kf stmt =
    Security_slicing_parameters.debug
      ~level:3 "computing initial nodes for %d" stmt.sid;
    let pdg = !Pdg.get kf in
    let nodes =
      if Db.Value.is_reachable_stmt stmt then
        try !Pdg.find_simple_stmt_nodes pdg stmt
        with Pdg.NotFound -> assert false
      else begin
        Security_slicing_parameters.debug
          ~level:3 "stmt %d is dead. skipping." stmt.sid;
        []
      end
    in
    Todolist.mk_init kf pdg nodes