Add code contract.