Added test case for semantic classification with union types.