sig
  val eval_expr_with_deps_state :
    with_alarms:CilE.warn_mode ->
    Locations.Zone.t option ->
    Cvalue.Model.t ->
    Cil_types.exp ->
    Cvalue.Model.t * Locations.Zone.t option * Locations.Location_Bytes.t
  val compute_non_linear :
    Cil_types.exp -> (Cil_types.lval * Locations.location option) list
end