v_1
pRBE2F = aCYCEcdk21 + E2F
CYCDcdk4 = xvar
xvar = p27
v_12
p27 = xvar
aCYCEcdk2 + p27 = CYCEcdk2p27
CYCEcdk2p27 = aCYCEcdk2 + p27
aCYCEcdk20 + CYCDcdk4 = xvar
xvar = E2F
CYCDcdk4 + p27 = CYCDcdk4p27
CYCDcdk4p27 = CYCDcdk4 + p27
aCYCEcdk2 = xvar
E2F + pRB = pRBE2F
p27 = xvar
xvar = aCYCEcdk20
aCYCEcdk20 = xvar
v_23
xvar = aCYCEcdk20
v_24
xvar = pRB
xvar = pRB
pRB = xvar
aCYCEcdk21 = pRB
iCYCEcdk2 = aCYCEcdk2
aCYCEcdk2 = iCYCEcdk2
v_5
xvar = iCYCEcdk2
xvar = E2F
E2F = xvar
iCYCEcdk2 = xvar
xvar = CYCDcdk4
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.