let from_stmt s = let kf = snd (Kernel_function.find_from_sid s.sid) in !Security.impact_analysis kf s