trace backtrack => [ statement => [ [ symbol => 'backtrack' ] ] ];
foreach my $adj (@{$ss->decisions_taken}) {
my ($rspace_was, $ss_was) = @$adj;
+ trace rspace => [ statement => [
+ [ symbol => 'remaining' ],
+ @{$rspace_was->remaining_resolution_space->for_deparse->[1]}
+ ] ];
return $ss_was->but(
next_step => $rspace_was->remaining_resolution_space->next_step
);