Member predicate C11GenericExpr::isDefaultAssociation
Holds if the n
th element of the association list of the generic selection is the
default element.
For example, for
_Generic(e, int: "a", default: "b")
this holds for 1.
predicate isDefaultAssociation(int n)