Figure 1: State machine representation that can be used to check metrics using traces.