let
push space a =
let
id = create a
in
space.locals <-
Iset
.add id space.locals ; id