| Formula.Atom (`Right, b, q) ->
Formula.of_bool(b == (StateSet.mem q s2)),
if b && StateSet.mem q auto.topdown_marking_states then [ResJIT.RIGHT q] else []
+ | Formula.Atom (`Epsilon, _, _) -> assert false
| Formula.Or(f1, f2) ->
let b1, i1 = loop f1 in