sig
  type eval_env
  type logic_deps = Locations.Zone.t Cil_datatype.Logic_label.Map.t
  type labels_states = Db.Value.state Cil_datatype.Logic_label.Map.t
  val env_annot :
    ?c_labels:Eva.Eval_terms.labels_states ->
    pre:Db.Value.state ->
    here:Db.Value.state -> unit -> Eva.Eval_terms.eval_env
  val predicate_deps :
    Eva.Eval_terms.eval_env ->
    Cil_types.predicate -> Eva.Eval_terms.logic_deps option
end