
.decl node ( a : number )
.decl edge ( a : number, b : number )

node(1).
edge(X,Y) :- edge(Y,X).
// no warning
node(X), node(Y), edge(X,Y) :- edge(X,Y).
// no warning
node(X), node(Y), edge(X,Y) :- edge(X,Y), node(Z).
