sig
  val annot_predicate_deps :
    pre:Cvalue.Model.t ->
    here:Cvalue.Model.t -> Cil_types.predicate -> Locations.Zone.t option
end