A + R > C
MA > A + MA
A + DR > DRp
DRp > A + DR
DR > DR + MR
DRp > DRp + MR
MR > EmptySet
MR > MR + R
A > EmptySet
C > R
R > EmptySet
A + DA > DAp
DAp > A + DA
DA > DA + MA
DAp > DAp + MA
MA > EmptySet
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.