BadRequiredStrength
Constraint
DuplicateConstraint
DuplicateEditVariable
Expression
Solver
Term
UnknownConstraint
UnknownEditVariable
UnsatisfiableConstraint
Variable