- BOTH (tr_list,
- compute_jump auto tree tag states1 DIR_LEFT,
- compute_jump auto tree tag states2 DIR_RIGHT)
+ let j1 = compute_jump auto tree tag states1 DIR_LEFT in
+ let j2 = compute_jump auto tree tag states2 DIR_RIGHT in
+ BOTH (tr_list, j1, j2);