let impact_highlighter buffer loc ~start ~stop = 
  if Enabled.get () then
    let tag name color =
      let t = make_tag buffer name [`BACKGROUND color ] in
      apply_tag buffer t start stop
    in
    let hilight s = 
      if HighlightedStmtState.mem s then 
        tag "hilighed_impact" "green"
      else 
        SelectedStmt.may 
          (fun sel -> if Cil_datatype.Stmt.equal sel s then 
             tag "selected_impact" "cyan")
    in
    apply_on_stmt hilight loc