Simon Grund

Hi Terrence! thanks for bringing this up! Both cases seem like bugs to me, but I think a general solution is not trivial. **Problem:** `testConstraints()` uses a separate environment for...