Neat tool! I like this is as a small example of SSA-based dataflow analysis.