Some renamings in ElimGraph