Emulink: self-edge renaming is now re-enabled