Resolved issue #117. The problem was that cyclic predicate definitions were not detected when inspecting predicate bodies while computing optimal snapshots.
Resolved issue #117. The problem was that cyclic predicate definitions were not detected when inspecting predicate bodies while computing optimal snapshots.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors