New tree-walk sampler, which for any set of samples never fails the
same way twice, and is more efficient than the backtracking search