v_1

s1 = x2

v_2

x2 = x3

v_3

v_3

x3 = p1

p1*

s1*

x2*

x3*

Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.