+ let dummy2 = Ata.TransList.cons
+ (Ata.Transition.make (State.dummy,QNameSet.empty, Ata.SFormula.false_))
+ Ata.TransList.nil
+ in
+ let dummy6 = (dummy2, StateSet.empty) in
+ let trans_cache6 = Cache.N6.create 17 dummy6 in
+ let trans_cache2 = Cache.N2.create 17 dummy2 in
+ let () = at_exit (fun () ->
+ let num_phi = ref 0 in
+ let num_trans = ref 0 in
+ Cache.N6.iteri (fun _ _ _ _ _ _ _ b -> if not b then incr num_phi) trans_cache6;
+ Cache.N2.iteri (fun _ _ _ b -> if not b then incr num_trans) trans_cache2;
+ Format.eprintf "PROFILE:materialized %i transitions and %i configurations\n@." !num_trans !num_phi
+ )
+ in