Reimplement Stepper with better assumed actions from fictional separation logic
Reimplement Stepper with better assumed actions from fictional separation logic

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar