Case 1 (X <= t − 2)
Case 2 (X = t − 1)
Case 3 (X >= t)
Behaviour R
w-b-c-e
w-e
w-e
Behaviour S
w-b
w-b
w