Create a CFG visitor for abstract interpretation as a generic abstract interpreter for state abstract domains of value abstract domains (non-relational domains). The visitor should

• handle the traversal of the control flow graph including handling merging branches and performing delayed widening in loops
• provide an interface to implement the abstract semantics of assignments, operations, function calls etc. with respect to the corresponding domain