Assertion list for term "substituted for t1".

Results from Ascent++: 1
transistor ReceivesActionsubstituted for t1 0.21