Member predicate ConditionalSuccessorImpl::getDual

Gets the dual of this conditional successor. That is, the conditional successor of the same kind but with the opposite value.