Conditions - finally settled
State-like conditions
- distinguish between setting and guard
- a state-like condition is set to associate a set of labels (condition names) associated with a set of (covered) instances
- the state-like guard will check whether the set of labels associated with the covered set of instances has a non-empty intersection with the set of labels given in the guard
Data-oriented conditions
- guards may contain a Boolean expression rather than a set of labels