let pp_tac_status (status: #tac_status) =
prerr_endline (status#ppobj status#obj);
+ (* let a,p = NCicParamod.size_of_state status#eq_cache in
+ prerr_endline ("number of actives: " ^ string_of_int a ^ "and number of passives: " ^ string_of_int p) *)
prerr_endline ("STACK:\n" ^ Continuationals.Stack.pp status#stack)
;;