my ($self, $prop) = @_;
my $prop_seq = $self->proposition_sequence
->but_append_proposition($prop);
+ my $sol_ss = $self->new_search_state_for($prop_seq)
+ ->find_solution;
+ die "No solution" unless $sol_ss;
$self->but(
proposition_sequence => $prop_seq,
- search_state => $self->new_search_state_for($prop_seq)
+ search_state => $sol_ss,
);
}