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