v2.7.7

michael-emmi released this 23 Jul 16:13

24b1274

Fixed bug in inliner (#265)

* Fixed bug in inliner; bug fix makes copies of bound variables in quantifiers also.

* removed unnecessary modifies computation

* added renaming for let expressions

* refactoring

* removed extra parens

Assets 3