let lock f =
  let m = the_model () in
  m.model_locked <- Iset.add f m.model_locked