demo.java -> demo.smt2 -> demo_02.smt2 not working ... help :))

[OrenGitHub]

Hi guys,
Your deom.java -> demo.smt -> demo_02.smt is not working.
Here is what I did:

$ git clone https://github.com/vaphor/hornconverter.git
$ git clone https://github.com/vaphor/cellmorphingV2.git
$ cd hornconverter/src
$ make
$ ./java2horn ../deom.java -o ../demo.smt2
$ cd ../../cellmorphingV2/src
$ make
$ ./vaphor ../../hornconverter/demo.smt2 -o ../checkit.smt2
Warning : no arguments for composition with head check-sat...
$ z3 -smt2 checkit.smt2
(error "line 6 column 12: the logic has already been set")

When I inspect your automatically generated file I see that you indeed set the logic twice:

$ sed -n '1,6p;7q' ../checkit.smt2
(set-logic HORN)
;Number of predicates (nodes) = 14
;Number of variables = 6
;Number of clauses = 17
;
(set-logic HORN)

So I removed the second set-logic. Now it parses fine but gets stuck.
How long should the demo example take? I've waite more than 15 minutes ...
Thanks for your help!