let d_n = Algebra.decide a tags_siblings tags_after (StateSet.union sa fa) false in
let f_kind,first = choose_jump_down tree d_f
and n_kind,next = choose_jump_next tree d_n in
let d_n = Algebra.decide a tags_siblings tags_after (StateSet.union sa fa) false in
let f_kind,first = choose_jump_down tree d_f
and n_kind,next = choose_jump_next tree d_n in
- let f_kind, first = `ANY, (Tree.first_element tree)
- and n_kind, next = `ANY, (Tree.next_element_below tree) in
+ (*let f_kind, first = `ANY, (Tree.first_element tree)
+ and n_kind, next = `ANY, (Tree.next_element_below tree) in *)
let fold_cache = Fold3Res.create BIG_A_SIZE in
let _,res = top_down1 a tree Tree.root a.init Tree.root code_cache fold_cache
in
let fold_cache = Fold3Res.create BIG_A_SIZE in
let _,res = top_down1 a tree Tree.root a.init Tree.root code_cache fold_cache
in