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