Translating the CDL input to a SPIN program:

The input program contains more than 1 enumeration ->
All enumerations are merged together.