Separated unit tests for Property Constraints.