Invalid generated Coq code when subquery contains predicate about cosette HOT 2 OPEN

Thanks for the bug report! There is a minor mistake in Coq code generation.
@duremar I believe this is fixed through 43cbd27. The web frontend deployment takes about 15 mins to work.

from cosette.

thank you for quick fix
i've found another example of invalid code generation:

schema s(??);
table a(s);
predicate p(s);

query q1
`select * from a x where exists ( select * from a y where p(y) )`;

query q2
`select * from a x`;

verify q1 q2;

it works if where p(y) removed from the program but fails otherwise

from cosette.