Store in `Builder` a `[(startLabel, endLabel, Expr Unresolved)]`, then build the bytecode for them (TODO) sort them by "smallest region", like `end - start`