add tests for constraints