and with type diversification (programmer action) it can be arbitrarily refined to approach the intended CFG.