Assertion list for term "formed by two replica inverters".

Results from Ascent++: 1
tia ReceivesActionformed by two replica inverters 0.25