Beispiel-Constraint: x > -10 and x < 10 Switch: Case x < 0 Case x == 0 Case X > 0 notwendig dafür: -parametrisierbare Prädikate -dynamisches Include -dynamisches Exclude