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