1 goals_limit:=1;
2
3 Unify.search_bound := 40;
4 Unify.trace_bound := 40;
5
6 add_path "J";
7 add_path "JVM";
8 add_path "BV";
9
10
11 use_thy "JTypeSafe";
12 use_thy "BVSpecTypeSafe";