program size might change during synthesis branching conditions

[ngsankha]

The way our branch synthesis works might sometimes trigger a call to the new candidate programs generation routine. So the final program with the branches might be higher in size than the program before.

The candidate program generation loop takes into account size constraints - but the branching doesn't. Figure out a way to do that while respecting size constraints.