Mixins for default shrink and special cases
Handling errors in constraints