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