run.td_cache <- Cache.N6.create dummy_set;
run.bu_cache <- Cache.N6.create dummy_set;
done;
+ IFHTML((run.sat <- List.tl run.sat), ());
pass := Ata.get_max_rank auto + 1;
IFHTML(Html_trace.gen_trace auto run.sat (module T : Tree.S with type t = T.t) tree ,());
run