contract_hold
contract_hold(&ctd->cond_contract);
contract_hold(ct);
contract_hold(new->ctp_subsume);
contract_hold(ct);
contract_hold(ct);
contract_hold(ct);
contract_hold(ct);
void contract_hold(contract_t *);