valid {
    input.Body.tags[_].booleanValue == BOOLEAN
    input.Body.tags[_].int64Value == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].stringValue == STRING
    input.Body.tags[_].timeValue == STRING
    input.ReqMap.appPackage == STRING
    input.ReqMap.token == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.persona == STRING
    input.ReqMap.appPackage == STRING
    input.ReqMap.token == STRING
    input.ProviderMetadata.Region == STRING
}