unknownStates

abstract val unknownStates: List<UniquenessCheckStateRef>

Specifies which states are not known to the uniqueness checker.