Original
do before
receive 1
do in between
receive 1
do after
Transformed
do before
receive 1
do in between
receive 1
do after
Test Loop Receive
Original
do before body
receive 1
do after receive
do before body
do after receive
after loop
Transformed
do before body
receive 1
do after receive
do before body
do after receive
after loop