Added test where we lose the loop Phi of an endless loop.