let unlock f =
  let m = the_model () in
  m.model_locked <- Iset.remove f m.model_locked