unexpected stack overflow

[pbaille]

Hello,

I was playing with spock (which is awesome!) and found this:

(with-open [rules (with-rules '[(g [:a :b :c] [(or (and :a :b) :c)])])]
   (solve {:rules rules} '(g (= :x 1) (= :y 2) (= :y 3))))

Execution error (StackOverflowError) at org.jpl7.Term/getTerm (Term.java:282).

When I do the same globally, no problem:

(assert-rules '[(g [:a :b :c] [(or (and :a :b) :c)])])
(solve '(g (= :x 1) (= :y 2) (= :y 3)))

[{:x 1, :y 2} {:x _101, :y 3}]

Any idea ?