vin
∅ > X
Calcium export from cell
X > ∅
CICR
Y > X
serca
X > Y
Leak flux
Y > X
PLC
∅ > Z
IP3 degradation
Z > ∅
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.