generierte innere abstrakte Switch-Klasse Expression-Vereinfachung Switch-Case-Expression: ursprüngliche Constraint-Expression: ((Z or N) and (SCHREIB or LESE)) Spezialisierungs-Expression (Z and SCHREIB) Zwischen-Expression: ((Z or N) and (SCHREIB or LESE)) and (Z and SCHREIB) wird vereinfacht zu (bei Exclude Z-N und SCHREIB-LESE): (Z and SCHREIB) (Beispiel FizzBuzz, SchiffeVersenken usw)Anfang weiter