let add_link graph ~prev ~next =
  match (prev, next) with
  | (Kglobal, _) -> ()
  | (_, Kglobal-> ()
  | (Kstmt s_prev, Kstmt s_next) ->
      let prev_id = s_prev.sid in
      try
        ignore (Inthash.find graph prev_id)
      with Not_found ->
        Macros.debug 1 "[lexical successor] add %d -> %d"
          prev_id s_next.sid;
        Inthash.add graph prev_id s_next