twa_graph_ptr degeneralize(const const_twa_graph_ptr &a, bool use_z_lvl=true, bool use_cust_acc_orders=false, int use_lvl_cache=1, bool skip_levels=true, bool ignaccsl=false)
Degeneralize a spot::tgba into an equivalent sba with only one acceptance condition.