Correct way to kill sequences

In reply to chr_sue:

Could you tell us which code example in the Verification Academy show the easy implementation?
I found many examples in the link,but don’t know which one.
Thanks.