Loop exit sets are no longer explicitly held, they are dynamically computed on demand.