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 -> ()