This makes our usage of PhiMs to represent the observable behaviour of
non-terminating loops more obvious.
Having an explicit loop Phi constructor also fixes problems with Phi
getting optimized before the keep edge was added.