sig
  val eval_deps : Cvalue_domain.State.t -> Cil_types.exp -> Locations.Zone.t
  val eval_deps_lval :
    Cvalue_domain.State.t -> Cil_types.lval -> Locations.Zone.t
  val eval_deps_addr :
    Cvalue_domain.State.t -> Cil_types.lval -> Locations.Zone.t
end