Switch on existing test of empty union support

This test now passes due to the support added in the previous commit.

Author: thomasspriggs

regression/cbmc/Union_Initialization2/test.desc

@@ -1,4 +1,4 @@
-CORE gcc-only
+CORE gcc-only new-smt-backend
 main.c
 
 ^EXIT=10$