Added tests for constraints