[Debug] align some log

src_colibri2/solver/scheduler.ml

@@ -310,7 +310,7 @@ let push kind t =
 
 (** Go to and remove the backtrack point *)
 let pop_to t prev =
-  Debug.dprintf4 debug_pushpop "[Scheduler] pop from %a : %a" print_level t
+  Debug.dprintf4 debug_pushpop "[Scheduler] pop  from %a: %a" print_level t
     print_position_in_tree t;
   t.prev_scheduler_state <- prev.pre_prev_scheduler_state;
   t.level <- prev.pre_level;
@@ -321,7 +321,7 @@ let pop_to t prev =
     | [] -> [ min_int ]
     | i :: l -> (i + 1) :: l);
   Backtrackable.draw_graph t.solver_state;
-  Debug.dprintf4 debug_pushpop "[Scheduler] pop to   %a: %a" print_level t
+  Debug.dprintf4 debug_pushpop "[Scheduler] pop  to   %a: %a" print_level t
     print_position_in_tree t
 
 (** only fix model *)
@@ -555,7 +555,6 @@ let[@inline always] protect_against_contradiction ~no_learning t f g =
   | r -> g r
 
 let run_one_step_propagation ~nodec t =
-  Debug.incr stats_step;
   match Context.TimeWheel.next t.daemons with
   | Some att ->
       Debug.incr stats_propa;
@@ -626,6 +625,7 @@ let run_one_step_fix_model ~nodec t =
 
 let run_one_step ~nodec t =
   t.steps <- t.steps + 1;
+  Debug.incr stats_step;
   Debug.dprintf1 debug "[Scheduler] Step %i" t.steps;
   match Context.Ref.get t.solve_step with
   | Propagate -> (