Assertion list for term "included in secure domain".

Results from Ascent++: 1
array ReceivesActionincluded in secure domain 0.25