let alpha x =
    match !context with
      | [] -> None
      | c::_ -> Some(F.p_freshen c.pool x)