sub new_search_state_for {
my ($self, $prop_seq) = @_;
- my @local_names = map { keys %{$_->introduces_names} }
+ my @local_names = map { keys %{$_->introduced_names} }
@{$prop_seq->members};
my $scope = DX::Scope->new(
predicates => $self->predicates,
sub with_additional_proposition {
my ($self, $prop) = @_;
my $prop_seq = $self->proposition_sequence
- ->but_append_proposition($prop);
+ ->with_additional_proposition($prop);
my $sol_ss = $self->new_search_state_for($prop_seq)
->find_solution;
die "No solution" unless $sol_ss;