There may be better static analyses, and better uses of this static analysis.
future work will focus on using static analysis to determine smaller representations (by cutting nodes in Static Cuts) of the chart edges themselves.