kernel_pair_is_clD + todo : dense into cloture