let pop space id = if not (Iset.mem id space.locals) then Wp_parameters.fatal "LogicId: non-local %a" pretty id ; space.locals <- Iset.remove id space.locals ; unalloc space id