Additional functionality for bussproofs.sty