Assertion list for term "key to private_key".

Results from Ascent++: 1
pointer CapableOfkey to private_key 0.25