ArgPromo+DebugInfo: Handle updating debug info over multiple applications of argument...