Visitor tests for constraints.