let add_binding ~with_alarms ~exact acc loc value = add_binding ~with_alarms ~exact acc loc (V_Or_Uninitialized.initialized value)