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