schema InvoiceSchema(InvoiceId: int, CustomerId: int, InvoiceDate: date,
BillingAddress: varchar, BillingCity: varchar,
BillingState: varchar, BillingCountry: varchar,
BillingPostalCode: varchar, Total: numeric);
table Invoice(InvoiceSchema);
query q1
`SELECT i.InvoiceId, i.CustomerId, count(i.CustomerId) FROM Invoice i`;
query q2
`SELECT i.InvoiceId, i.CustomerId, count(i.CustomerId) FROM Invoice i`;
verify q1 q2;
Rosette find an counterexample.