Let the block walker enter endless loops only at kept blocks, not Phis.