Generalize the abstract interpretation visitor to allow not only a StateAbstractDomain but also other relational abstract domains (e.g., a pentagon domain)