Was already merged in Bitbucket before import, marked as merged by the import user
This is just a bunch of incremental changes attempting to factor flow graph generation code more cleanly. The only significant behaviour change is that FlowExecutionContext now reuses the same FlowSpaceFrame, instead of instantiating a new one for every bytecode it reads.