Assertion list for term "formed in stacked body".

Results from Ascent++: 1
trench ReceivesActionformed in stacked body 0.25