| ERROR | duplicate constraint name ~S |
| CAUSE | Each constraint declaration has a name which exists in a single symbol space for constraints. |
| ACTION | Choose a different name. |
| ERROR | duplicate constraint name ~S |
| CAUSE | Each constraint declaration has a name which exists in a single symbol space for constraints. |
| ACTION | Choose a different name. |