+ let _ = Gc.full_major();Gc.compact() in
+ let _ = Gc.set (disabled_gc) in
+ if !Options.backward then
+ let tag,set = List.hd ltags in
+ let r = if do_contains
+ then time (bottom_up_count_contains auto) v
+ else time (bottom_up_count auto v) tag in
+ let _ = Printf.eprintf "Number of nodes in the result set : %i\n%!" r
+ in ()
+ else
+ if !Options.count_only then
+ let r = time ( top_down_count auto ) v in (* not clean *)
+ let _ = Printf.eprintf "Number of nodes in the result set : %i\n%!" r
+ in ()