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