tc: rel: update --defensive test, uvars can now be open!
tc: rel: update --defensive test, uvars can now be open!

FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar