Change notion of state equality, so that fstar2.fst passes
Change notion of state equality, so that fstar2.fst passes

***NO_CI***

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