Added unit tests for the Constraint class.