Check if a direct abstract declarator is unambiguous.
(dirabsdeclor-unambp dirabsdeclor) → yes/no
Although the dummy base case is not an ambiguous construct, we have a good opportunity to exclude it here.