TBA→BA
We have an involved degeneralization procedure that does TGBA→BA. However in practice, many TGBA have a single acceptance set (i.e., they are TBA). I believe we could work on a more efficient procedure for the TBA→BA case, it might even include some optimisations that are easier to do using a single acceptance set.