Integrate the new structure for abstract domains created in #1752 into the current implementation of the data frame shape inference to replace the old definition of the data frame shape domain