MapIndex maps a particular index to the new location of the index after the move
(idx int)
source not stored for this graph (policy: none)
no outgoing calls