then `True (*`Right(fun t ->
TagSet.exists (fun tag -> Tree.Binary.has_tagged_foll t tag)
test) *)
- else `True )>=> `Right ** q_src
+ else `True )>=>
+ if ex then ( Ata.atom_ `Left false q_src) *& `Right ** q_src
+ else `Right ** q_src
in
let _ = add_trans num conf.tr_aux t3
in
Ata.phi = phi;
Ata.delta = Hashtbl.create 17;
Ata.sigma = Ata.HTagSet.create 17;
- }
+ },[]
end