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