Assertion list for term "store second value".

Results from Ascent++: 1
circuit CapableOfstore second value 0.26