Support for constraint checking using spin:constraint.