let
freshen_sigma y =
List
.map (
fun
u
->
if
F
.eq_var (fst u) y
then
y,freshen y
else
u)