CandidateSet.hasContradictors
Delta
enumerate once per delta
somewhat faster