So remember the algorithm's termination condition is to repeat to repeatedly apply the rules until nothing changes, until there are no more inconsistencies in the control flow graph and there's no information left to update. 