v1
∅ = X
v10
Y = ∅
v11
∅ = T
v2
X = ∅
v3
S + X = Y
v4
Y = ∅
v5
∅ = S
v6
S = ∅
v7
S = ∅
v8
∅ = T
v9
T = ∅
Xy = X + Y
Yi = Y / (X + Y)
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.