reaction_1
X + VIIa_TF = VIIa_TF_X
reaction_2
VIIa_TF_X > VIIa_TF_Xa
reaction_3
VIIa_TF_Xa = Xa + VIIa_TF
reaction_4
Xa + TFPI = Xa_TFPI
reaction_5
VIIa_TF + Xa_TFPI = Xa_TFPI_VIIa_TF
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.