Checks if a value is a Union branch key.
The value to check
True if value is a canonical non-negative integer string with no leading zeros; false otherwise
value
Checks if a value is a Union branch key.