Added more test code.

Added initial code to testing COUNT_CONSTRAINTS.