const and basic tracing

[scpubgit/DX.git] / lib / DX / Hypothesis.pm

diff --git a/lib/DX/Hypothesis.pm b/lib/DX/Hypothesis.pm
index 314cc74..1bad497 100644 (file)
--- a/lib/DX/Hypothesis.pm
+++ b/lib/DX/Hypothesis.pm
@@ -63,6 +63,8 @@ sub but_recheck_for {
     action_policy => $ap,
   );
 
+  trace 'step.recheck.hyp' => $hyp;
+
   my $ss = DX::SearchState->new_for($hyp);
 
   return undef unless my $sol_ss = $ss->find_solution;
@@ -75,6 +77,8 @@ sub but_recheck_for {
     $_, $sol_rps->dependencies_for($_)
   ) for @recheck;
 
+  trace 'step.recheck.done' => 'yay';
+
   return $self->but(resolved_propositions => $rps);
 }