idlj generates bad code that will not compile in the verifyDefault method
for a union without a default branch with a discriminator of an enum type.
Also, it is incorrectly determining whether the branches cover the type in
the enum case.