valid {
    input.Body.InstanceId == STRING
    input.Body.InstanceOSUser == STRING
    input.Body.SSHPublicKey == STRING
    input.Body.AvailabilityZone == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.InstanceId == STRING
    input.Body.SerialPort == INTEGER
    input.Body.SSHPublicKey == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}