COUNT usage leads to error: Invalid generated Coq code

[matthiastz]

setup:

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;

result:
Invalid generated Coq code. Please file an issue.

Rosette find an counterexample.

[matthiastz]

original queries I wanted to test:

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
 GROUP BY i.CustomerId`;

query q2
`SELECT i.InvoiceId, i.CustomerId, count(i.CustomerId) FROM Invoice i`;

verify q1 q2;