Ticket #1 (assigned enhancement)
Common values in constraints
|Reported by:||dom||Owned by:||dom|
"All the constraints after Type should share at least one common value with it."
I think this is a semantic error and the library should partially evaluate the constraints to check for these sort of errors.