let alpha sigma x =
  try Vmap.find x sigma
  with Not_found -> Wp_parameters.fatal "Unbound fol-variable %s (eqs)" (Var.var_name x)