Assertion list for term "formed by d1".

Results from Ascent++: 1
circuit ReceivesActionformed by d1 0.18