Assertion list for term "high-level rcainputs".

Results from Ascent++: 1
amplifier HasAhigh-level rcainputs 0.25