Invalid generated Coq code when subquery contains predicate

[duremar]

perhaps something is wrong with processing a predicate with two arguments (b1):

[stechu]

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.

[duremar]

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