refresh the SMT solver in case it raises an exceptions (e.g., if it is killed), so that subsequent attempts can still succeed
refresh the SMT solver in case it raises an exceptions (e.g., if it is killed), so that subsequent attempts can still succeed

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