sub new_for {
my ($class, $hyp, $props) = @_;
$class->new(
- current_search_state => DX::SearchState->new(
- current_hypothesis => $hyp,
- alternatives => [],
- next_step => DX::Step::InvokeNextPredicate->new(
- proposition => $props->members->[0],
- ),
- propositions => $props,
- ),
+ current_search_state => DX::SearchState->new_for($hyp, $props),
);
}