let from_stmt s =
  let kf = snd (Kernel_function.find_from_sid s.sid) in
  Dynamic.get
    ~plugin:"Security_slicing"
    "impact_analysis"
    (Datatype.func2 Kernel_function.ty Stmt.ty (Datatype.list Stmt.ty))
    kf s