);
#::Dwarn($ss->with_one_step->with_one_step);
-warn deparse(my $f = $ss->with_one_step->with_one_step->with_one_step);
+warn deparse(my $f = $ss->with_one_step->with_one_step);
+warn deparse($f->with_one_step);
-::Dwarn($f->current_hypothesis->resolved_propositions->dependency_map);
+#::Dwarn($f->current_hypothesis->resolved_propositions->dependency_map);