This repository was archived by the owner on May 10, 2023. It is now read-only.
This repository was archived by the owner on May 10, 2023. It is now read-only.
Cleanup/Augment assertions #1
Description
There are some assertions that is not clear why they are there and in some places there are invariants that are not asserted. Places where this holds must be added here.