- null -> Cause.Null
- reduce some domain' size
choco 3.1.1
fix some default instantiations