1
2
goals_limit := 1;
3
4
Unify.search_bound := 40;
5
Unify.trace_bound := 40;
6
7
with_paths ["J", "JVM", "BV"] use_thy "Digest";