v1
∅ = T
v10
∅ = T2
v11
T2 = ∅
v12
T2 = ∅
v13
∅ = V
v14
V = ∅
v15
∅ = CD8
v16
CD8 = ∅
v2
T = ∅
v3
∅ = T
v4
T = T1
v5
T1 = T
v6
∅ = T
v7
T1 = ∅
v8
T1 = ∅
v9
T1 = ∅
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.