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 ;
  }