Assertion list
address translation (subgroup of translation ) → ReceivesAction
Results from Ascent++: 1
address translation → ReceivesAction → enabled 0.68