let shift_int64 x intervs =
    match intervs with
      Top -> top
    | Set l ->
        inject (List.map (fun (bi,ei) ->  (Int.add bi x,Int.add ei x)) l)