Assertion list
key (aspect of node ) → UsedFor
Results from Ascent++: 2
key → UsedFor → decryption 0.32
key → UsedFor → encryption 0.32