We need to properly model heap ranges of Delete in DFG/B3