Complete BT -> leakage conversion in the notebooks