Occurs when one or more input states are not known to the uniqueness checker.
Specifies which states are not known to the uniqueness checker.