let freshen x = match !context with | [] -> Wp_parameters.fatal "no context opened for havoc" | c::_ -> F.freshen c.pool x