let register ~name ~pointer =
if MODELS.mem name then Wp_parameters.fatal "Duplicate logic model {%s}" name ;
MODELS.add name {
model_name = name ;
model_pointer = pointer ;
model_index = Ihmap.create 231 ;
model_locked = Iset.empty ;
model_history = 0 ;
model_updated = false ;
}