State of the sequence after it has been killed

In reply to Jung Ik Moon:

I guess the way it codes indicates that killed() is never supposed to be called by sequence itself. If you wanna terminate sequence inside body() there’re many other ways also.