Closed maartenflippo closed 2 years ago
Removes bound computation from the invariant graph construction phase, since it is handeled by the engine in #92. This removes a bunch of code, which was not robust to begin with.
It also fixes some general compiler warnings.
Removes bound computation from the invariant graph construction phase, since it is handeled by the engine in #92. This removes a bunch of code, which was not robust to begin with.
It also fixes some general compiler warnings.