let from_stmt s =
  let kf = snd (Kernel_function.find_from_sid s.sid) in
  Dynamic.get
    ~plugin:"Security_slicing"
    "impact_analysis"
    (Type.func2 Kernel_type.kernel_function
       Kernel_type.stmt (Type.list Kernel_type.stmt))
    kf s