let
clear space =
Iset
.iter (unalloc space) space.locals ;
space.locals <-
Iset
.empty