Need revealed by #1084 (https://github.com/EasyCrypt/easycrypt/pull/1084/changes#diff-718af933383a854646758b1e908fb50cc01d662513af53906faece9fa0725804R623) This allows quickly introducing (or destructing) a deep assumption without affecting the assumptions before it.
Need revealed by #1084 (https://github.com/EasyCrypt/easycrypt/pull/1084/changes#diff-718af933383a854646758b1e908fb50cc01d662513af53906faece9fa0725804R623)
This allows quickly introducing (or destructing) a deep assumption without affecting the assumptions before it.