Konvertierung zur spezielleren Expression

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)

Anfang weiter