Minor tweak to framing tactic to dismiss already solved vprops that somehow still appear occasionally in the proofstate
Minor tweak to framing tactic to dismiss already solved vprops that somehow still appear occasionally in the proofstate

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar