Get rid of some unnecessary allocations in ==>>
Merge pull request #712 from ceedubs/map-allocations

Get rid of some unnecessary allocations in ==>>
Remove unnecessary allocations in ISet
Merge pull request #713 from ceedubs/iset-allocations

Remove unnecessary allocations in ISet