Explicitly setting the edge value to 'unset on forget

- Refactored boolean constraint test code
- Played around more with arithmetic constraints