Additional functionality for bussproofs.sty - View it on GitHub