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