Incomplete predicate extension when using existential rules

Let's consider the following program:

edb.conf:

EDB0_predname=p
EDB0_type=INMEMORY
EDB0_param0=.
EDB0_param1=p

p.csv:

rules.txt:

q(X,Y,Z) :- p(X)
q(X,Y,Y) :- p(X)

After materialization, the extension of q (in VLog syntax) should be something like

1   a   1_2_0   1_3_0
2   a   1_4_0   1_4_0

but, on commit 017d66d, VLog only produces

1   a   1_2_0   1_3_0

which is incomplete.

As a side note, if the rule set would had contained the same rules but in the inverse order, the extension of q would have been correct, namely

q(X,Y,Y) :- p(X)
q(X,Y,Z) :- p(X)

and

1   a   1_2_0   1_2_0

karmaresearch / vlog