Rearrange the elements of an array in random order.
(Object[] a)
source not stored for this graph (policy: none)