Fix: DIE instructions that would be used by the next loop iteration when a loop is known to terminate.
DIE fix: don't preserve instructions because of an in-loop user where the whole loop is dead