Using a work list when doing flow analysis #609
Description
When solving data-flow equations for flow analysis, we should use a work list approach instead of using a flag like we're doing now at src/pallene/uninitialized.lua:
pallene/src/pallene/uninitialized.lua
Line 82 in dceb559