Assertion list for term "perform shift right function".

Results from Ascent++: 1
circuit CapableOfperform shift right function 0.25