v2.4.17
fix: Visit let-expression components consistently Previously, the Rhss and Body are a let expression where visited in different orders in different parts of Boogie. They are now visited consistently, always Rhss before Body. Fixes #192
fix: Visit let-expression components consistently Previously, the Rhss and Body are a let expression where visited in different orders in different parts of Boogie. They are now visited consistently, always Rhss before Body. Fixes #192