Asta.add_quer asta top_st;
Asta.init_top asta;
Asta.add_top asta top_st;
+ Asta.add_bot asta top_st; (* for trees which are leaves *)
Asta.add_tr asta (top_st, Asta.any_label, or_top) true
and trans_last (ax,test,pred) = (* a selecting state is needed *)
Asta.add_quer asta q';
Asta.add_top asta q;
Asta.add_top asta q';
- Asta.add_bot asta q;
- Asta.add_bot asta q';
+ Asta.add_bot asta q; (* q' \notin B !! *)
let Simple lab = test in
let tr_selec = (q', lab, fo_p)
and tr_q = (q, Asta.any_label, form_propa_selec q q' ax) in