ConstrainedType, shouldSupportPredecrementation
ConstrainedType, shouldReturnTheSameObjectInCaseOfPredecrementation
ConstrainedType, shouldSupportPostdecrementation
ConstrainedType, shouldBeEqualComparable and shouldBeEqualComparableNotEqual