Exception raised by the check function of a reified constraint when it is not known whether the constraint is satisfied or violated.
check
Raised during solving whenever a failure occurs.
Raised by cut.
cut