my $ss = DX::SearchState->new_for($hyp);
- return undef unless my $sol_ss = $ss->find_solution;
+ my $sol_ss = $ss->find_solution;
+
+ unless ($sol_ss) {
+ trace 'step.recheck.fail' => 'argh';
+ return undef;
+ }
my $sol_rps = $sol_ss->current_hypothesis->resolved_propositions;