Predicate Make0::Make1::Make2::Additional::Consistency::nonUniqueInConditionalContext

Holds if n is in a conditional context with multiple condition kinds.

For inConditionalContext(n, kind), the kind must be unique for a given n.