Remove problematic forall statement in fstar1ifc.vaf, which was failing on a clean check out.  May be related to recent changes to forall translation?
Remove problematic forall statement in fstar1ifc.vaf, which was failing
on a clean check out.  May be related to recent changes to forall
translation?

project-everest/vale,project-everest/vale,project-everest/vale,project-everest/vale