Assertion list for term "continue at next executable statement".
Results from Ascent++: 1
execution → CapableOf → continue at next executable statement 0.27