Assertion list for term "rounded toward zero".

Results from Ascent++: 1
value (aspect of variable) ReceivesActionrounded toward zero 0.30