18.5.2: bound sets B1, B2, B3

[Rafkind, Jon]

Section 18.5.2 of 0.7.0 makes reference to the creation of bound sets B1, B2, and B3 but its not clear how they are related. The paragraph that explains how to create B2 says to incorporate new bounds into B1.

In the paragraph starting with 'While C is not empty ...' it seems that B3 is a new bound set where resolved constraints in C can add bounds to B3, but it seems like B3 should have started out as B1.

Was the intention that the sets are derived in order?

B1 = reduction(m)
B2 = B1 + polyExpressionBounds(invocation)
B3 = B2 + C

I'm being fast and loose with that bit of psuedo-code but hopefully you get what I mean.