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