Assertion list
skeleton key (primary) → ReceivesAction
Results from Ascent++: 1
skeleton key → ReceivesAction → used to open most types of locks 0.35