sig
  type precise_path = private
      Location of Shifted_Location.t
    | Union of Shifted_Location.t * Path_lattice.precise_path
  type path = private
      Top of Locations.Zone.t
    | Precise of Path_lattice.precise_path
end