sig
  type state = Relations_type.Model.t
  val eval_expr :
    with_alarms:CilE.warn_mode ->
    Db.Value.state -> Cil_types.exp -> Db.Value.state * Cvalue_type.V.t
end