Refactor cfg-oriented dataflow analysis into a new abstract base class