Assertion list for term "run in trusted operating system".

Results from Ascent++: 1
operating system ReceivesActionrun in trusted operating system 0.25