1 is not valid in the initial [...] 2 is not valid in the initial [...] 2 are not valid in the initial
the validity of the mapped [...] . If no valid transition [...] that indicates the validity
1]. Output xValid [...] data is valid [...] -ID are valid. Expected
NextSegment Validate [...] NextSegment (Method) Validate
is NOT validated TLS [...] : the certificate is validated
Init IsValid Setup [...] ) Init (Method) IsValid
StringPool (Function) IsValid
