my $ns = DX::Step::InvokeNextPredicate->new(
proposition => $ss->next_proposition($new_hyp)
);
+ my $alt_step = $self->alternative_step;
return (
$ss->but(
current_hypothesis => $new_hyp,
next_step => $ns,
+ ($alt_step
+ ? (alternatives => [ [ $old_hyp, $alt_step ], @{$ss->alternatives} ])
+ : ()
+ ),
),
- $self->alternative_step
);
}