Dumpster repo for some JavaScript control-flow graphs that I need not need after all