Comment by Vosporos

A very thorough explanation! Love the usage of graphs to understand the relationship between two points in the code. Would you say this was made easier by the STG and more generally the graph-reduction paradigm?