[Expansion] trap T in suspend p when (immediate) s; exit T || await (immediate) s; exit T; end [Derived statement] 
abort p when (immediate) s
h a l t
s u s t a i n s
p r e s e n t s t h e n p e n d
a w a i t s
a w a i t i m m e d i a t e s
s u s p e n d p w h e n i m m e d i a t e s
a b o r t p w h e n ( i m m e d i a t e ) s
w e a k a b o r t p w h e n ( i m m e d i a t e ) s
l o o p p e a c h s
e v e r y ( i m m e d i a t e ) s d o p e n d e v e r y