Learn more about cloning repositories
You have read-only access
Add an executable test for checking the correctness of let properties optimizations. This is a follow-up commit for my previous bugfix in the let properties optimizations.
