Tips for drawing a computation graph from code:
s1; finish { // F1-Start async s2; finish { // F2-Start async s3; async s4; s5; } // F2-End async s6; s7; } // F1-End s8;
1) Draw out the continuation spine:
2) then fill in the rest of the nodes.