Remove CKA optimization option

Since we only keep the transitive reduction of a strict partial
ordering, it would be wrong to optimize refinement checks based
on the number of partial order constraints.