GC hack: only collect eval states (fib-gc-bug in SIPDA); extracted
graph.js from pushdown.js