A map storing the abstract data frame operations that the expressions of the analyzed program are mapped to.
A map storing the abstract data frame operations that the expressions of the analyzed program are mapped to.