| Shift, _ -> fail (lazy "can't shift goals here")
| Pos i_s, ([ loc ], t, [],`BranchTag) :: (g', t', k', tag) :: s
when is_fresh loc ->
- let l_js = List.filter (fun (i, _) -> List.mem i i_s) (g' @+ [loc]) in
+ let l_js = List.filter (fun (i, _) -> List.mem i i_s) ([loc] @+ g') in
new_stack
((l_js, t , [],`BranchTag)
:: (([ loc ] @+ g') @- l_js, t', k', tag) :: s)