Assertion list for term "caused by execution of instruction".
Results from Ascent++: 1
exception → ReceivesAction → caused by execution of instruction 0.27