Assertion list for term "each unit".

Results from Ascent++: 1
circuit UsedForeach unit 0.27