Adding qualifiers to failing tests.
Merge pull request #36 from UCSD-PL/union_undefined

Adding qualifiers to failing tests.