with 'DX::Role::Step';
-has proposition => (is => 'ro', required => 1);
+has proposition => (is => 'ro', isa => Proposition, required => 1);
sub apply_to {
my ($self, $ss) = @_;
my $hyp = $ss->current_hypothesis;
+ trace consider => [
+ statement => [
+ [ symbol => 'consider' ],
+ @{$self->proposition->for_deparse->[1]},
+ ],
+ ];
if (my $step = $self->proposition->resolve_for($hyp->scope)) {
return $ss->but(next_step => $step);
}