remake of the dataflow analysis to make it more flexible, more robust and fully modular