> I think that what is currently missing is a way of recognizing when > the success branch of a Transfer.Prim has the Transfer.Prim as it's > unique predecessor. Easy enough. Just count the in-degree of each label. We could even record the other direction as well -- down the overflow branch we know that a particular expression overflows. But probably not worth it.