Split out the code for finding a unique loop predecessor from