TEST: Added basic tests for constraints.