let
init_env () = {foralls =
Vset
.empty;eqs =
Ptrue
}