S + STU = STUS
STUSU = STU + SU
ST > ∅
T + STUS = STUST
STUST = ST + STU
STU > ∅
SU + ST = SUST
U + SUST = SUSTU
SUSTU = STU + SU
SU > ∅
U + STUS = STUSU
k11 = k4
k8 = k4
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.