contract-check