valid {
    input.ReqMap.ProjectID == STRING
    input.ReqMap.rollingUpdate == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.ReqMap.ProjectID == STRING
    input.ReqMap.rollingUpdate == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.Body.actionType == STRING
    input.Body.creationTimestamp == STRING
    input.Body.description == STRING
    input.Body.error.errors[_].code == STRING
    input.Body.error.errors[_].location == STRING
    input.Body.error.errors[_].message == STRING
    input.Body.id == STRING
    input.Body.instanceGroup == STRING
    input.Body.instanceGroupManager == STRING
    input.Body.instanceTemplate == STRING
    input.Body.kind == STRING
    input.Body.oldInstanceTemplate == STRING
    input.Body.policy.autoPauseAfterInstances == INTEGER
    input.Body.policy.instanceStartupTimeoutSec == INTEGER
    input.Body.policy.maxNumConcurrentInstances == INTEGER
    input.Body.policy.maxNumFailedInstances == INTEGER
    input.Body.policy.minInstanceUpdateTimeSec == INTEGER
    input.Body.progress == INTEGER
    input.Body.selfLink == STRING
    input.Body.status == STRING
    input.Body.statusMessage == STRING
    input.Body.user == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.ReqMap.ProjectID == STRING
    input.ReqMap.zone == STRING
    input.Qs.filter == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.ReqMap.ProjectID == STRING
    input.ReqMap.rollingUpdate == STRING
    input.ReqMap.zone == STRING
    input.Qs.filter == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.ReqMap.ProjectID == STRING
    input.ReqMap.rollingUpdate == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.ReqMap.ProjectID == STRING
    input.ReqMap.rollingUpdate == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.ReqMap.ProjectID == STRING
    input.ReqMap.rollingUpdate == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.ReqMap.operation == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

valid {
    input.ReqMap.ProjectID == STRING
    input.ReqMap.zone == STRING
    input.Qs.filter == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}