Assertion list for term "configured to level shift".

Results from Ascent++: 1
circuit ReceivesActionconfigured to level shift 0.25