Wrong JA classification, dependency graph has cycle (length=3)

[irina-dragoste]

With rules

R(x,y),D(y) :- C(x) .
S(x,y), E(y) :- D(x) .
V(x,y), C(y) :- E(x) .
R(z,x) :- S(x,y), V(y,z) .

and empty edb.conf, the command

vlog cycles --alg JA --rules rules -e edb.conf

classifies this rule-set as JA, but it is not (see attached explanation): Page 1-notJA.pdf Page 2-notJA.pdf