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)