WIP : prove reassign_pointer_represents_stage2
WIP : prove reassign_pointer_represents_stage2

project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification