has alternatives => (is => 'ro', isa => AlternativeList, required => 1);
+has is_solution_state => (is => 'ro', required => 1);
+
sub next_proposition {
my ($self, $hyp) = @_;
$hyp ||= $self->current_hypothesis;
proposition => $props->members->[0],
),
propositions => $props,
+ is_solution_state => 0,
);
}