- let l_js = List.filter (fun (i, _) -> List.mem i i_s) g' in
- new_stack
- ((l_js, [], [],`BranchTag)
- :: ([ loc ] @+ g' @- l_js, t', k', tag) :: s)
- | Pos i_s, (g, t, k,`BranchTag) :: (g', t', k', tag) :: s ->
- let l_js = List.filter (fun (i, _) -> List.mem i i_s) g' in