let loop = loopfun (`Left *+ state) (`Right *+ state) in
let phi = mk_phi toplevel cont loop in
( [ (Transition.make (state, test, marking, phi));
- (Transition.make (state, TagSet.any, false, loop));
- (*(Transition.make (state, TagSet.any, false, `Right *+ state)) *)
- ],
- (`Left *+ state))
+ (Transition.make (state, TagSet.any, false, loop));
+ ],
+ (`Left *+ state))
| _ -> assert false
in