valid {
    input.Body.abandonInstances[_] == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.poolName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.autoRestart == BOOLEAN
    input.Body.baseInstanceName == STRING
    input.Body.currentNumReplicas == INTEGER
    input.Body.description == STRING
    input.Body.healthChecks[_].checkIntervalSec == INTEGER
    input.Body.healthChecks[_].description == STRING
    input.Body.healthChecks[_].healthyThreshold == INTEGER
    input.Body.healthChecks[_].host == STRING
    input.Body.healthChecks[_].name == STRING
    input.Body.healthChecks[_].path == STRING
    input.Body.healthChecks[_].port == INTEGER
    input.Body.healthChecks[_].timeoutSec == INTEGER
    input.Body.healthChecks[_].unhealthyThreshold == INTEGER
    input.Body.initialNumReplicas == INTEGER
    input.Body.labels[_].key == STRING
    input.Body.labels[_].value == STRING
    input.Body.name == STRING
    input.Body.numReplicas == INTEGER
    input.Body.resourceViews[_] == STRING
    input.Body.selfLink == STRING
    input.Body.targetPool == STRING
    input.Body.targetPools[_] == STRING
    input.Body.template.action.commands[_] == STRING
    input.Body.template.action.envVariables[_].hidden == BOOLEAN
    input.Body.template.action.envVariables[_].name == STRING
    input.Body.template.action.envVariables[_].value == STRING
    input.Body.template.action.timeoutMilliSeconds == INTEGER
    input.Body.template.healthChecks[_].checkIntervalSec == INTEGER
    input.Body.template.healthChecks[_].description == STRING
    input.Body.template.healthChecks[_].healthyThreshold == INTEGER
    input.Body.template.healthChecks[_].host == STRING
    input.Body.template.healthChecks[_].name == STRING
    input.Body.template.healthChecks[_].path == STRING
    input.Body.template.healthChecks[_].port == INTEGER
    input.Body.template.healthChecks[_].timeoutSec == INTEGER
    input.Body.template.healthChecks[_].unhealthyThreshold == INTEGER
    input.Body.template.version == STRING
    input.Body.template.vmParams.baseInstanceName == STRING
    input.Body.template.vmParams.canIpForward == BOOLEAN
    input.Body.template.vmParams.description == STRING
    input.Body.template.vmParams.disksToAttach[_].attachment.deviceName == STRING
    input.Body.template.vmParams.disksToAttach[_].attachment.index == INTEGER
    input.Body.template.vmParams.disksToAttach[_].source == STRING
    input.Body.template.vmParams.disksToCreate[_].attachment.deviceName == STRING
    input.Body.template.vmParams.disksToCreate[_].attachment.index == INTEGER
    input.Body.template.vmParams.disksToCreate[_].autoDelete == BOOLEAN
    input.Body.template.vmParams.disksToCreate[_].boot == BOOLEAN
    input.Body.template.vmParams.disksToCreate[_].initializeParams.diskSizeGb == STRING
    input.Body.template.vmParams.disksToCreate[_].initializeParams.diskType == STRING
    input.Body.template.vmParams.disksToCreate[_].initializeParams.sourceImage == STRING
    input.Body.template.vmParams.machineType == STRING
    input.Body.template.vmParams.metadata.fingerPrint == STRING
    input.Body.template.vmParams.metadata.items[_].key == STRING
    input.Body.template.vmParams.metadata.items[_].value == STRING
    input.Body.template.vmParams.networkInterfaces[_].accessConfigs[_].name == STRING
    input.Body.template.vmParams.networkInterfaces[_].accessConfigs[_].natIp == STRING
    input.Body.template.vmParams.networkInterfaces[_].accessConfigs[_].type == STRING
    input.Body.template.vmParams.networkInterfaces[_].network == STRING
    input.Body.template.vmParams.networkInterfaces[_].networkIp == STRING
    input.Body.template.vmParams.onHostMaintenance == STRING
    input.Body.template.vmParams.serviceAccounts[_].email == STRING
    input.Body.template.vmParams.serviceAccounts[_].scopes[_] == STRING
    input.Body.template.vmParams.tags.fingerPrint == STRING
    input.Body.template.vmParams.tags.items[_] == STRING
    input.Body.type == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.poolName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.zone == STRING
    input.Qs.numReplicas == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.action.commands[_] == STRING
    input.Body.action.envVariables[_].hidden == BOOLEAN
    input.Body.action.envVariables[_].name == STRING
    input.Body.action.envVariables[_].value == STRING
    input.Body.action.timeoutMilliSeconds == INTEGER
    input.Body.healthChecks[_].checkIntervalSec == INTEGER
    input.Body.healthChecks[_].description == STRING
    input.Body.healthChecks[_].healthyThreshold == INTEGER
    input.Body.healthChecks[_].host == STRING
    input.Body.healthChecks[_].name == STRING
    input.Body.healthChecks[_].path == STRING
    input.Body.healthChecks[_].port == INTEGER
    input.Body.healthChecks[_].timeoutSec == INTEGER
    input.Body.healthChecks[_].unhealthyThreshold == INTEGER
    input.Body.version == STRING
    input.Body.vmParams.baseInstanceName == STRING
    input.Body.vmParams.canIpForward == BOOLEAN
    input.Body.vmParams.description == STRING
    input.Body.vmParams.disksToAttach[_].attachment.deviceName == STRING
    input.Body.vmParams.disksToAttach[_].attachment.index == INTEGER
    input.Body.vmParams.disksToAttach[_].source == STRING
    input.Body.vmParams.disksToCreate[_].attachment.deviceName == STRING
    input.Body.vmParams.disksToCreate[_].attachment.index == INTEGER
    input.Body.vmParams.disksToCreate[_].autoDelete == BOOLEAN
    input.Body.vmParams.disksToCreate[_].boot == BOOLEAN
    input.Body.vmParams.disksToCreate[_].initializeParams.diskSizeGb == STRING
    input.Body.vmParams.disksToCreate[_].initializeParams.diskType == STRING
    input.Body.vmParams.disksToCreate[_].initializeParams.sourceImage == STRING
    input.Body.vmParams.machineType == STRING
    input.Body.vmParams.metadata.fingerPrint == STRING
    input.Body.vmParams.metadata.items[_].key == STRING
    input.Body.vmParams.metadata.items[_].value == STRING
    input.Body.vmParams.networkInterfaces[_].accessConfigs[_].name == STRING
    input.Body.vmParams.networkInterfaces[_].accessConfigs[_].natIp == STRING
    input.Body.vmParams.networkInterfaces[_].accessConfigs[_].type == STRING
    input.Body.vmParams.networkInterfaces[_].network == STRING
    input.Body.vmParams.networkInterfaces[_].networkIp == STRING
    input.Body.vmParams.onHostMaintenance == STRING
    input.Body.vmParams.serviceAccounts[_].email == STRING
    input.Body.vmParams.serviceAccounts[_].scopes[_] == STRING
    input.Body.vmParams.tags.fingerPrint == STRING
    input.Body.vmParams.tags.items[_] == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.abandonInstance == BOOLEAN
    input.ReqMap.poolName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.replicaName == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.poolName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.replicaName == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.poolName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.zone == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.poolName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.replicaName == STRING
    input.ReqMap.zone == STRING
    input.ProviderMetadata.Region == STRING
}