let release_env ~env =
  match system.last with
    | Some (model,k0,env0) ->
        if env0 = env then
          system.environments <-
            Imap.add model (pred k0) system.environments
    | None -> ()