Description
Instead of relying on Rewriter classes implementing the ExpressionVisitor interface, the BaseHeapDomain should resemble the BaseNonRelationalDomain in having a fixed visitor that invokes abstract visit methods that can be overridden more easily.