generierte innere abstrakte Switch-Klasse
Formulierung:
es kann mehrere Switch-Klassen geben (Name)
Name + Liste von Sub-Expressions,
die jeweils erfüllt sein müssen
Spezialisierungs-Expressions müssen zur zu spezialisierenden
Expression passen (keine Kontradiktion)
Spezialisierungs-Expression soll nur für den jeweiligen
Zweig gültig sein (Zweige disjoint)
ursprüngliche Constraint-Expression:
(Z or N)
//Spezialisierung (X)OR durch bereits vorhandene Prädikate
Switch( "ZentraleXorNiederlassung" ,
(Z) , // (Z)
(N) ) // (N)