a CP depending on another CP, it should get that DK as part of its computation.