Disambiguate a direct abstract declarator.
(dimb-dirabsdeclor dirabsdeclor table) → (mv erp new-dirabsdeclor new-table)
The handling is similar to dimb-dirdeclor, but no identifier is returned. There is also no handling of possible function parameter names.