Convert TBX-Basic into TBX-Min