VENUS > ∅
∅ > VENUS
auxinTIR1 + VENUS > auxinTIR1VENUS
auxinTIR1VENUS > auxinTIR1 + VENUS
auxinTIR1VENUS > auxinTIR1
auxin + TIR1 > auxinTIR1
auxinTIR1 > auxin + TIR1
auxin > ∅
∅ > auxin
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.