Class ContractConstraint