let impact_statement s =
let impact = Register.from_stmt s in
SelectedStmt.set s;
let add s =
Highlighted_stmt.add (Kernel_function.find_englobing_kf s) s
in
List.iter add impact;
if Slicing.get () then !Db.Impact.slice impact;
Enabled.set true;
impact