Assertion list for term "be a decryption program".

Results from Ascent++: 1
circuit CapableOfbe a decryption program 0.26